Hottest Questions This Month

0 votes

8 answers

1k views

Why do computers use binary numbers in IEEE754 fraction instead of BCD or DPD?

CommunityBot

1

modified Aug 23 at 5:12

6 votes

2 answers

1k views

How to determine if a set is countable or uncountable?

user2357112

312

modified Aug 24 at 0:10

4 votes

3 answers

571 views

Functor composition rule necessary?

Dan Doel

2,757

modified Sep 3 at 14:46

3 votes

2 answers

467 views

The number of triple intersections of lines

the_tomato

542

modified Aug 20 at 20:53

2 votes

2 answers

461 views

Do all instances of a given string get replaced under a rewrite rule?

vonbrand

14.1k

answered 2 days ago

3 votes

1 answer

894 views

How to allocate memory in NASM without C functions (x64)?

Knogger

1,549

modified Aug 28 at 4:59

1 vote

2 answers

234 views

How do logic gates handle if-else statements?

user20574

1,845

modified Aug 24 at 19:35

2 votes

1 answer

466 views

What role does the lower bound play in the statement of Savitch's Theorem?

Oliphaunt

109

modified Aug 15 at 19:48

2 votes

3 answers

146 views

How to simplify $O(\log (n!))$?

rzickler

127

modified yesterday

3 votes

1 answer

328 views

Minimum number of oracle call to solve Simon problem by a (NDTM) non-deterministic Turing machine?

Emil Jeřábek

1,506

modified Aug 19 at 11:25

2 votes

2 answers

105 views

Can a universal worst case problem instance exist?

Bader Abu Radi

4,725

modified Aug 21 at 11:15

-1 votes

2 answers

126 views

Will this proof method work for p vs np

Aditya Mishra

39

modified Aug 28 at 8:53

2 votes

2 answers

235 views

Solving the "Reverse" Assignment Problem with an Added Constraint?

DarkRise

55

modified Aug 23 at 11:41

1 vote

1 answer

203 views

Which class is the language MAX-CLIQUE in?

Bader Abu Radi

4,725

modified Aug 27 at 10:21

1 vote

1 answer

237 views

Is UNIQUE(N) Turing-recognizable?

Bader Abu Radi

4,725

modified Aug 26 at 10:52

2 votes

1 answer

171 views

NP-Hardness: Finding the Best Subtree for Hierarchical Matching in Elasticsearch

Nahum Timerman

31

answered Aug 12 at 8:30

2 votes

2 answers

200 views

Solving the "reverse" Assignment Problem?

ConnFus

183

modified Aug 12 at 0:29

1 vote

1 answer

64 views

How to make a NAND gate with vaccum tubes?

Pseudonym♦

23.1k

modified Aug 14 at 11:35

1 vote

1 answer

160 views

Can this Integer Linear Programming problem be solved in polynomial time?

D.W.♦

164k

answered Aug 14 at 7:38

1 vote

1 answer

84 views

$L'=\left \{ z^Rx : xyz\in L \right \}$ is regular

Bader Abu Radi

4,725

modified Aug 26 at 11:50

1 vote

1 answer

101 views

result of a union between a decidable language and not recognizable one - disjoint

Bader Abu Radi

4,725

modified Aug 21 at 18:56

1 vote

1 answer

58 views

Give a class of languages which is closed under intersection and union, but not under complement

Hendrik Jan

30.9k

modified Aug 16 at 13:16

1 vote

1 answer

90 views

Why does problem F belong to PSPACE?

rus9384

1,966

modified Aug 20 at 11:15

1 vote

1 answer

147 views

What is the connection between a regular language's pumping number, and the number of states of an equivalent deterministic automaton?

Bader Abu Radi

4,725

modified Aug 18 at 11:02

1 vote

2 answers

54 views

Can one theoretically prove one version of algorithm is more efficient without running the code?

NotAGroupTheorist

95

answered Aug 30 at 18:44

3 votes

1 answer

111 views

Minimize sum of array after repeated replacement of numbers with their OR operation result

D.W.♦

164k

modified Aug 22 at 4:48

2 votes

1 answer

101 views

$LL=\left \{ xyzy^R : xyz\in L \right \}$ is context free language

Hendrik Jan

30.9k

answered Aug 27 at 17:52

1 vote

1 answer

96 views

set of words w such that M halts on w is decidable

Bader Abu Radi

4,725

modified Aug 18 at 15:34

1 vote

1 answer

58 views

When is an algorithm "equal" to another?

NaturalLogZ

771

answered Aug 29 at 22:15

4 votes

1 answer

56 views

Detecting/removing thin sections of polygons

Christopher Pratt

181

modified Aug 27 at 2:44

4 votes

1 answer

55 views

Question about tidy trees (Union-Find)

pcpthm

2,872

modified Aug 10 at 15:28

6 votes

0 answers

109 views

Is it possible to efficiently maintain a directed graph where nodes unreachable from the root are deleted?

Sam Estep

185

modified Aug 28 at 11:28

-1 votes

2 answers

58 views

Myhill-Nerode sentence and the relation $R_L$

gnasher729

31.4k

answered Aug 24 at 15:01

1 vote

1 answer

73 views

How do you show Dominating Set is NP Complete

Bader Abu Radi

4,725

modified Aug 25 at 13:57

3 votes

1 answer

44 views

Where was DJBX33A first published?

Pseudonym♦

23.1k

answered Aug 26 at 2:21

3 votes

0 answers

116 views

Convert a regular expression to a minimal LL(1) regular grammar

D.W.♦

164k

modified Aug 25 at 6:11

1 vote

1 answer

54 views

How to reduce a term to normal form

Vanessa

156

answered Aug 21 at 8:35

1 vote

2 answers

53 views

Is this LTL formula really valid?

Arno

3,213

answered Aug 20 at 11:11

2 votes

1 answer

45 views

A question about the number of states of a Turing machine using the alphabet $\{ 0, 1, \square, \rhd \}$

Bader Abu Radi

4,725

answered Aug 10 at 13:04

0 votes

1 answer

44 views

Can we use XOR's forced branching to show that NP!=P

D.W.♦

164k

answered Aug 22 at 17:48

0 votes

2 answers

54 views

prove AP-SUM is NP-complete

Bader Abu Radi

4,725

answered Aug 24 at 22:00

1 vote

2 answers

49 views

Finding two disjont longest possible vertical or horizontal lines in 2D matrix with non-usable cells

Majid Zohrehbandian

310

modified Aug 23 at 15:41

0 votes

1 answer

48 views

Is the difference between an unrecognizable language and a finite language decidable? recognizable?

D.W.♦

164k

modified Sep 3 at 21:03

1 vote

2 answers

37 views

Complexity of checking validity of downscaled game of life

gnasher729

31.4k

answered Aug 16 at 15:06

0 votes

1 answer

47 views

The number of words that M doesn't accept is finite

Bader Abu Radi

4,725

modified Aug 19 at 10:33

4 votes

1 answer

58 views

Proving that two languages both represent valid bracket sequences

Li-yao Xia

635

modified Sep 3 at 22:43

0 votes

1 answer

43 views

How to show $NP^{BQP} = QMA$?

Lieuwe Vinkhuijzen

4,437

answered Aug 19 at 16:33

0 votes

1 answer

39 views

Balancing players into two teams

D.W.♦

164k

answered Aug 16 at 7:08

Top Questions

Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.