Scholar - Badge - Computer Science Stack Exchange

Scholar

Ask a question and accept an answer.

Awarded 11496 times.

NP-complete proof from Dasgupta problem on Kite

Awarded Sep 12, 2012 at 16:29

John

2331 gold badge2 silver badges6 bronze badges

Complexity inversely propotional to $n$

Awarded Sep 11, 2012 at 13:19

mmdemirbas

1534 bronze badges

Master theorem not applicable?

Awarded Sep 10, 2012 at 17:03

Joachim

2131 gold badge2 silver badges6 bronze badges

Awarded Sep 10, 2012 at 10:53

mrk

3,67822 silver badges35 bronze badges

What does "dummy argument" mean?

Awarded Sep 9, 2012 at 1:46

Kyss Tao

2131 gold badge2 silver badges5 bronze badges

Negation of nested quantifiers

Awarded Sep 8, 2012 at 13:14

david.keck

233 bronze badges

Are compilers able to detect alternating accesses to arrays and interleave them in memory?

Awarded Sep 6, 2012 at 6:08

krammer

2952 silver badges10 bronze badges

The meaning of modulo in “formula modulo a background theory”

Awarded Sep 6, 2012 at 0:18

Cemre

1634 bronze badges

Is this phrase structure grammar from my textbook correct?

Awarded Sep 5, 2012 at 10:53

Aky

2251 silver badge8 bronze badges

Random algorithm with biggest sequence that never repeats

Awarded Sep 5, 2012 at 8:58

Piotr Krysiak

1534 bronze badges

Compute 'insertable' letters in a regular language

Awarded Sep 4, 2012 at 20:22

MiMo

1615 bronze badges

Any very user friendly resources on the Baum-Welch algorithm?

Awarded Aug 29, 2012 at 18:37

Walrus the Cat

1112 bronze badges

what is the complexity of recurrence relation?

Awarded Aug 29, 2012 at 17:52

panthera onca

855 bronze badges

Is this language LL(1) parseable?

Awarded Aug 29, 2012 at 11:01

FUZxxl

8766 silver badges19 bronze badges

Formally describing a new domain specific programming language

Awarded Aug 27, 2012 at 0:50

Edmon

2973 silver badges10 bronze badges

LFSR sequence computation

Awarded Aug 26, 2012 at 19:40

user1047517

1433 bronze badges

Given a set of sets, find the smallest set(s) containing at least one element from each set

Awarded Aug 25, 2012 at 18:19

bdesham

2772 silver badges9 bronze badges

Is there any theoretically proven optimal compression algorithm?

Awarded Aug 25, 2012 at 11:39

Zeta.Investigator

1831 silver badge5 bronze badges

Is the validity of some instance of an equational problem decidable?

Awarded Aug 25, 2012 at 10:24

Steffen Schuler

535 bronze badges

How to compute linear recurrence using matrix with fraction coefficients?

Awarded Aug 25, 2012 at 8:29

roxrook

1334 bronze badges

Free variables of (λx.xy)x and bound variables of λxy.x

Awarded Aug 22, 2012 at 2:14

Dávid Natingga

6034 silver badges8 bronze badges

$L$ APX-hard thus PTAS for $L$ implies $\mathsf{P} = \mathsf{NP}$

Awarded Aug 20, 2012 at 10:22

jimmy

233 bronze badges

How to show that a "reversed" regular language is regular

Awarded Aug 20, 2012 at 6:51

Cat

3331 gold badge3 silver badges4 bronze badges

Is $O$ contained in $\Theta$?

Awarded Aug 18, 2012 at 12:13

Rawb

2451 silver badge5 bronze badges

How are all NP Complete problems similar?

Awarded Aug 17, 2012 at 11:29

Ankush

3093 silver badges9 bronze badges

Uniform sampling from a simplex

Awarded Aug 17, 2012 at 2:39

Ruofeng

4531 gold badge4 silver badges4 bronze badges

What is the difference between a scripting language and a normal programming language?

Awarded Aug 16, 2012 at 8:02

SS Hegde

3032 silver badges6 bronze badges

Good text on algorithm complexity

Awarded Aug 16, 2012 at 6:02

andreas.vitikan

2152 silver badges6 bronze badges

Floating point rounding

Awarded Aug 14, 2012 at 23:21

Cade Roux

3132 silver badges7 bronze badges

Dynamic changes to classes or context activation -- how to treat existing objects in a consistent way?

Awarded Aug 14, 2012 at 19:20

mrsteve

6611 gold badge4 silver badges9 bronze badges

Introduction into first order logic verification

Awarded Aug 14, 2012 at 17:39

FELIPE N.

1354 bronze badges

Pizza commercial claim of 34 million combinations

Awarded Aug 13, 2012 at 0:31

gebuh

3211 gold badge3 silver badges8 bronze badges

Dataflow framework for global analysis: Why meet, then apply?

Awarded Aug 12, 2012 at 19:05

templatetypedef

9,0371 gold badge30 silver badges60 bronze badges

Examples of undecidable problems whose intersection is decidable

Awarded Aug 12, 2012 at 16:25

Sam Jones

1,1417 silver badges17 bronze badges

Cost in time of constructing and running an NFA vs DFA for a given regex

Awarded Aug 9, 2012 at 21:18

kiliki

791 gold badge1 silver badge5 bronze badges

A hash function with predicted collisions

Awarded Aug 9, 2012 at 5:15

madfriend

1535 bronze badges

Why classes implicitly derive from only the Object Class?

Awarded Aug 8, 2012 at 3:57

kaushal

372 bronze badges

Arithmetic expressions grammar transformation

Awarded Aug 6, 2012 at 14:40

SasQ

2901 silver badge9 bronze badges

Getting parallel items in dependency resolution

Awarded Aug 6, 2012 at 4:53

Masse

2732 silver badges5 bronze badges

Run time of product of polynomially bounded numbers

Awarded Aug 5, 2012 at 17:52

Simon

233 bronze badges

What is known about coRL and RL?

Awarded Aug 3, 2012 at 21:43

Uri

1434 bronze badges

Example using Penetrance & Branching Factor in State-space Heuristic Search

Awarded Aug 3, 2012 at 18:12

MAcad

231 silver badge3 bronze badges

What if the electricity goes off while a file is being renamed?

Awarded Aug 3, 2012 at 18:02

Anon

632 bronze badges

Running time of CDCL compared to DPLL

Awarded Aug 3, 2012 at 12:00

asd

633 bronze badges

How to random-generate a graph with Pareto-Lognormal degree nodes?

Awarded Aug 3, 2012 at 6:13

md2k7

1333 bronze badges

How fast can we find all Four-Square combinations that sum to N?

Awarded Aug 2, 2012 at 17:34

RBarryYoung

2212 silver badges12 bronze badges

Problem with the definition of P

Awarded Aug 2, 2012 at 8:37

aemxdp

2732 silver badges9 bronze badges

Time complexity formula of nested loops

Awarded Aug 2, 2012 at 7:27

yoonsi

2551 gold badge3 silver badges5 bronze badges

Showing that the set of TMs which visit the starting state twice on the empty input is undecidable

Awarded Aug 1, 2012 at 19:09

Joni

5113 silver badges13 bronze badges

How do I classify my emulator input optimization problem, and with which algorithm should I approach it?

Awarded Jul 29, 2012 at 22:27

GManNickG

2691 silver badge11 bronze badges

What exactly is the difference between supervised and unsupervised learning?

Awarded Jul 29, 2012 at 8:19

Prot

4031 gold badge4 silver badges5 bronze badges

Standard or Top Text on Applied Graph Theory

Awarded Jul 26, 2012 at 17:48

JEHR

1635 bronze badges

Is it intuitive to see that finding a Hamiltonian path is not in P while finding Euler path is?

Awarded Jul 25, 2012 at 4:39

Lazer

1,0772 gold badges10 silver badges8 bronze badges

Algorithm to translate a deterministic Büchi automaton to LTL (when possible)

Awarded Jul 24, 2012 at 19:13

Ayrat

1,0551 gold badge8 silver badges23 bronze badges

Rice's theorem for non-semantic properties

Awarded Jul 24, 2012 at 9:11

Kaveh

22.2k4 gold badges50 silver badges110 bronze badges

Greedy choice and matroids (greedoids)

Awarded Jul 24, 2012 at 6:06

Imposter

1677 bronze badges

How to call something that can be either a terminal or a nonterminal?

Awarded Jul 23, 2012 at 10:25

Shahbaz

1536 bronze badges

Are regular languages closed under sort (Parikh image)?

Awarded Jul 23, 2012 at 0:18

Andrew

2871 silver badge14 bronze badges

A polynomial reduction from any NP-complete problem to bounded PCP

Awarded Jul 22, 2012 at 20:32

john

1936 bronze badges

Is finding dead-end nodes in NL?

Awarded Jul 18, 2012 at 9:22

user29271

1134 bronze badges

Prev 1

…

186 187

188

189 190

…

192 Next