Editor - Badge - Theoretical Computer Science Stack Exchange

Editor

First edit.

Awarded 4427 times.

(post deleted or otherwise unavailable)

Awarded Oct 5, 2015 at 11:43

lassaendie

11 bronze badge

Maximize number of bins and minimize cost of elements chosen from a set

Awarded Oct 3, 2015 at 21:08

eagle34

1012 bronze badges

(post deleted or otherwise unavailable)

Awarded Oct 2, 2015 at 22:49

Uriel Steinberg

12 bronze badges

(post deleted or otherwise unavailable)

Awarded Sep 29, 2015 at 20:43

Philippe

1012 bronze badges

(post deleted or otherwise unavailable)

Awarded Sep 29, 2015 at 12:17

Lieuwe Vinkhuijzen

1,96914 silver badges20 bronze badges

(post deleted or otherwise unavailable)

Awarded Sep 25, 2015 at 4:21

eureka

11 bronze badge

(post deleted or otherwise unavailable)

Awarded Sep 23, 2015 at 16:27

kesari

1011 bronze badge

Complexity of QBF with Restrictions on Models [closed]

Awarded Sep 22, 2015 at 17:49

Heinrich Ody

1911 silver badge3 bronze badges

Optimal reduction using token-passing nets

Awarded Sep 22, 2015 at 15:11

Anton Salikhmetov

2011 silver badge4 bronze badges

Checking equivalence of two polytopes

Awarded Sep 21, 2015 at 16:40

Denis Pankratov

3771 silver badge7 bronze badges

Compute basis of vertex set of polytope

Awarded Sep 21, 2015 at 15:43

user35648

892 bronze badges

(post deleted or otherwise unavailable)

Awarded Sep 19, 2015 at 5:20

Saikat

1013 bronze badges

Why would a TCS researcher need funding?

Awarded Sep 18, 2015 at 7:38

hrkrshnn

1035 bronze badges

Is it decidable to determine if a given shape can tile the plane?

Awarded Sep 15, 2015 at 18:13

Mangara

5363 silver badges6 bronze badges

When can a convex function induce submodularity?

Awarded Sep 15, 2015 at 11:32

mnmltype

563 bronze badges

Universal and existential types

Awarded Sep 13, 2015 at 8:34

socumbersome

1216 bronze badges

(post deleted or otherwise unavailable)

Awarded Sep 12, 2015 at 7:50

xzl

11 bronze badge

Hardness of approximation assuming NP != coNP

Awarded Sep 9, 2015 at 23:32

Abhinav

1034 bronze badges

Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs

Awarded Sep 8, 2015 at 19:36

MichaelS

1413 bronze badges

Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs

Awarded Sep 8, 2015 at 14:02

Alan Wolfe

1817 bronze badges

Space requirements for solving True Quantified Boolean Formulas problem

Awarded Sep 6, 2015 at 5:02

Nicolas Mattia

1334 bronze badges

(post deleted or otherwise unavailable)

Awarded Sep 5, 2015 at 14:48

Ram

1931 silver badge5 bronze badges

Is it possible to boost the error probability of a Consensus protocol over dynamic network?

Awarded Sep 4, 2015 at 3:35

Irvan

2111 silver badge5 bronze badges

Alternative proofs of Schwartz–Zippel lemma

Awarded Sep 3, 2015 at 23:57

Anurag

1907 bronze badges

Is the bitonic sort algorithm stable?

Awarded Sep 3, 2015 at 2:53

the swine

1631 gold badge1 silver badge6 bronze badges

A probabilistic set with no false positives?

Awarded Sep 2, 2015 at 17:59

Mayank

11 bronze badge

Computing the DAG of a program given source code or AST

Awarded Sep 2, 2015 at 16:53

Snakes and Coffee

1035 bronze badges

Deciding functionality of transducers over infinite words

Awarded Sep 2, 2015 at 14:38

aer0dynamic

635 bronze badges

Is this permutation-sum problem NP-complete?

Awarded Sep 2, 2015 at 12:27

Paolo Valente

992 bronze badges

Kraft Macmillan inequality explanation [closed]

Awarded Aug 30, 2015 at 12:33

John Sick

1193 bronze badges

Maximum size-k cut

Awarded Aug 28, 2015 at 19:22

Tiratat Patana-anake

434 bronze badges

Assigning edge weights under shortest path constraints

Awarded Aug 27, 2015 at 9:10

Stig Hemmer

1115 bronze badges

(post deleted or otherwise unavailable)

Awarded Aug 26, 2015 at 15:13

Maciej1983

112 bronze badges

Assigning edge weights under shortest path constraints

Awarded Aug 26, 2015 at 10:53

user3494047

1312 bronze badges

(post deleted or otherwise unavailable)

Awarded Aug 24, 2015 at 14:05

Daniel

1215 bronze badges

What's wrong with this LEAN proof?

Awarded Aug 23, 2015 at 17:13

Konstantin Weitz

2041 silver badge3 bronze badges

(post deleted or otherwise unavailable)

Awarded Aug 22, 2015 at 11:45

user777

1715 bronze badges

Graph coloring/partitioning problem

Awarded Aug 20, 2015 at 18:49

Mikhail Rudoy

2,76813 silver badges24 bronze badges

Does the infinite graph of diagonals have an infinite component?

Awarded Aug 20, 2015 at 18:34

Mathias Rav

3932 silver badges10 bronze badges

Graph coloring/partitioning problem

Awarded Aug 20, 2015 at 5:49

eakbas

914 bronze badges

"Checking equality for Kolmogorov complexity of two sequences" is computable?

Awarded Aug 19, 2015 at 16:27

avsmal

2511 gold badge2 silver badges6 bronze badges

Can a computer simulate itself as part of a simulated world?

Awarded Aug 17, 2015 at 9:46

Juan

1314 bronze badges

Is there a name for this unimodilarity-related property?

Awarded Aug 13, 2015 at 9:40

luegofuego

2631 silver badge7 bronze badges

Decidability of parametric higher-order type unification

Awarded Aug 13, 2015 at 4:25

isekaijin

5012 silver badges10 bronze badges

Parse structure of a range concatenation grammar (RCG)

Awarded Aug 10, 2015 at 4:49

user

6153 silver badges10 bronze badges

(post deleted or otherwise unavailable)

Awarded Aug 6, 2015 at 19:01

ABcDexter

1013 bronze badges

major applied focuses of different proof assistants

Awarded Aug 5, 2015 at 20:58

SorcererofDM

5232 silver badges7 bronze badges

Can weakly parsimonious counting reductions use the input instance to compute the count?

Awarded Aug 5, 2015 at 13:16

Ian Gent

4283 silver badges9 bronze badges

Purely Functional Representations of Catenable Sorted Lists question

Awarded Aug 4, 2015 at 12:05

rbtrht

3031 silver badge5 bronze badges

SVM - running time for detecting if data is linearly separable?

Awarded Aug 2, 2015 at 14:50

Fequish

1031 bronze badge

How does one determine if a mixed bipartite quantum state is entangled or not?

Awarded Aug 2, 2015 at 9:13

Norbert Schuch

3251 silver badge8 bronze badges

Substitution in Resolution Proofs

Awarded Aug 1, 2015 at 9:15

tori

312 bronze badges

(post deleted or otherwise unavailable)

Awarded Jul 31, 2015 at 4:18

CKM

1012 bronze badges

NP-hardness of minimizing sum of complicated objective function

Awarded Jul 28, 2015 at 23:33

LaplacePuzzle

31 bronze badge

(post deleted or otherwise unavailable)

Awarded Jul 27, 2015 at 12:44

d33tah

1011 silver badge3 bronze badges

Approximate matching in table of integer vectors

Awarded Jul 25, 2015 at 19:07

mnowotka

1414 bronze badges

A question about combinatorial design in Nisan-Wigderson Generator

Awarded Jul 25, 2015 at 1:53

Xi Wu

1614 bronze badges

(post deleted or otherwise unavailable)

Awarded Jul 24, 2015 at 3:57

Chao-Hua Yu

216 bronze badges

Smallest possible universal combinator

Awarded Jul 23, 2015 at 16:26

user76284

6623 silver badges14 bronze badges

(post deleted or otherwise unavailable)

Awarded Jul 23, 2015 at 14:49

Fleeep

1555 bronze badges

Prev 1

…

33 34

36 37

…

74 Next