Hottest Questions This Month

23

votes

4

answers

4k

views

Assuming P = NP, how would one solve the graph coloring problem in polynomial time?

graphs np colorings

modified Mar 14 at 16:03 TheSimpliFire 166

18

votes

7

answers

3k

views

Why do we use the number of compares to measure the time complexity when compare is quite cheap?

algorithms time-complexity comparison

answered Mar 24 at 3:36 user21820 297

47

votes

1

answer

10k

views

What is the earliest use of the “this” keyword in any programming language?

programming-languages history object-oriented

modified yesterday Makker 1

11

votes

5

answers

2k

views

Does it make sense to say Big Theta of 1? Or should we just use Big O?

asymptotics big-o-notation

answered Mar 30 at 5:08 nick012000 111

10

votes

3

answers

2k

views

Representing “but not” in formal grammar

formal-grammars parsers

modified Mar 23 at 16:10 rici 6,681

4

votes

2

answers

826

views

If L is not regular and is a proper subset of L1, does it follow that L1 is not regular?

formal-languages regular-languages

answered Mar 29 at 17:38 rici 6,681

7

votes

1

answer

2k

views

+50

What is wrong with this simple proof of P=NP?

complexity-theory np-complete satisfiability 3-sat

modified 17 hours ago Russell Easterly 235

4

votes

2

answers

909

views

Generating random words by grammar

algorithm-analysis formal-grammars probability-theory randomized-algorithms

answered Mar 19 at 12:39 phipsgabler 311

0

votes

3

answers

505

views

Why the 127 encodings of ASCII needed to be extended to 256?

data-structures history encoding-scheme binary

answered Mar 21 at 21:25 FRIdSUN 98

3

votes

2

answers

489

views

What's an efficient algorithm to calculate line breaks (word wrap) for balanced widths (minimum raggedness)?

algorithms optimization performance

modified 1 hour ago MarcG 63

3

votes

2

answers

235

views

show that in every infinite computably enumerable set, there exists an infinite decidable set

turing-machines computability undecidability

modified Mar 19 at 3:03 vonbrand 11.1k

2

votes

2

answers

310

views

Proving correctness and optimality of a greedy algorithm

algorithms graphs trees correctness-proof

modified Mar 15 at 12:08 Steven 3,694

2

votes

4

answers

100

views

Is this big O notation format correct? $3^n = 2^{(O(n))}$

asymptotics big-o-notation

modified Mar 15 at 16:11 6005 2,463

-1

votes

2

answers

143

views

To what extent is an x86 machine equivalent to a Turing Machine?

turing-machines turing-completeness church-turing-thesis

modified Mar 17 at 21:01 gnasher729 17.9k

2

votes

1

answer

80

views

Computational complexity of counting symbols

complexity-theory turing-machines computation-models

modified Mar 17 at 8:04 Levi 123

2

votes

2

answers

129

views

Distribution Optimization Algorithm

algorithms optimization knapsack-problems

answered Mar 26 at 21:10 j_random_hacker 3,725

1

vote

3

answers

47

views

NP-complete problem 3-SAT, is there a difference in complexity between just providing yes/no without exact solution

complexity-theory time-complexity computability np-complete p-vs-np

modified Mar 19 at 10:51 vonbrand 11.1k

0

votes

3

answers

73

views

Why do we need value-returning functions?

c++

answered Mar 20 at 4:36 frabala 422

3

votes

1

answer

243

views

Construct a DAG from given multiple topological orderings

algorithms graphs algorithm-analysis dag topological-ordering

modified Mar 15 at 3:03 xskxzr 6,150

1

vote

2

answers

84

views

Solving equation with $n\log n$

time-complexity

modified Mar 25 at 17:31 Yuval Filmus 220k

1

vote

2

answers

130

views

What is the worst-case big-O time complexity for this code?

algorithms python big-o-notation

modified Apr 1 at 11:09 Steven 3,694

1

vote

1

answer

117

views

What is the relation between parsing languages and checking languages?

formal-languages formal-grammars parsers

answered 11 hours ago Yuval Filmus 220k

0

votes

1

answer

187

views

Proving a Greedy Algorithm is Incorrect by Providing Counter Example and Coming up with another correct algorithm

algorithms optimization greedy-algorithms

modified Mar 20 at 4:38 Community♦ 1

2

votes

2

answers

67

views

Why can't un-journaled filesystems be resized?

filesystems

answered Mar 18 at 18:11 gnasher729 17.9k

2

votes

1

answer

81

views

Dynamic programming problem

algorithms dynamic-programming

modified Mar 18 at 23:47 Steven 3,694

2

votes

1

answer

75

views

Existence of graph spanners

graphs combinatorics

modified Mar 20 at 16:53 Steven 3,694

2

votes

2

answers

75

views

3xN tiling problem with 3x1 vertical and horizontal + 2x2

dynamic-programming

answered 2 days ago gnasher729 17.9k

2

votes

1

answer

88

views

Why the Call instruction in the x86 architecture saves the return address as EIP+5 instead of 4?

computer-architecture

answered Mar 28 at 15:02 Ran G. 18.9k

1

vote

2

answers

133

views

Graph with exactly 2 Minimum Spanning Trees

algorithms graphs trees minimum-spanning-tree spanning-trees

modified Mar 20 at 1:18 Rodrigo de Azevedo 778

3

votes

1

answer

80

views

How to Generate Münchhausen Numbers in High Radices?

number-theory

modified Mar 21 at 23:59 D.W.♦ 118k

3

votes

2

answers

48

views

Enumerate the terms resulting from decomposing a number by repeated divisions by 2

algorithms recursion

modified yesterday John L. 21k

2

votes

1

answer

61

views

In a DAG, finding the path with the highest score

algorithms graphs graph-traversal weighted-graphs dag

modified Mar 13 at 10:05 xskxzr 6,150

2

votes

1

answer

77

views

+50

$k$-coloring in BPP, implies $k$-coloring in ZPP

complexity-theory probabilistic-algorithms

answered Mar 31 at 14:24 6005 2,463

2

votes

1

answer

59

views

Halting problem for fixed Turing machine and fixed input

turing-machines computability undecidability halting-problem

answered 2 days ago 6005 2,463

4

votes

1

answer

74

views

Query: Given a graph, is edge x in an optimal TSP tour?

complexity-theory np-complete space-complexity

modified Mar 26 at 21:28 Yuval Filmus 220k

3

votes

1

answer

91

views

How would Computer Science help the world in the novel coronavirus outbreak [closed]

computer-vs-human

answered Mar 6 at 17:03 Siddhant Aggarwal 81

1

vote

2

answers

55

views

Prove the following language is regular?

formal-languages automata regular-languages finite-automata regular-expressions

answered Mar 20 at 22:33 Steven 3,694

3

votes

1

answer

69

views

Selecting k rows and k columns from a matrix to maximize the sum of the k^2 elements

algorithms matrices matching

answered Mar 17 at 14:17 Yuval Filmus 220k

1

vote

0

answers

145

views

Find the median element of two AVL trees in $O(\log n)$

algorithms binary-trees avl-trees

modified Mar 31 at 14:24 BarTM 11

0

votes

1

answer

85

views

Show that NP∩coNP =∅

np co-np

modified Mar 17 at 10:03 Shiv 1,744

3

votes

2

answers

40

views

Parentheses after Typing Environment

type-theory notation

modified yesterday 6005 2,463

0

votes

1

answer

65

views

show that this decidable set $C$ exists

turing-machines computability undecidability

modified Mar 14 at 1:34 Link L 321

0

votes

1

answer

50

views

Are there more languages than functions?

formal-languages turing-machines automata

answered Mar 24 at 4:20 D.W.♦ 118k

0

votes

2

answers

50

views

how pseudo direct addressing works?

computer-architecture mips

answered Mar 27 at 17:33 D.W.♦ 118k

2

votes

1

answer

81

views

Find longest path by number of edges, excluding cycles

graphs

modified Mar 23 at 9:42 Pål GD 7,635

3

votes

1

answer

104

views

Does the underlying computational calculus in type theories affect decidability?

lambda-calculus type-theory type-checking type-inference curry-howard

modified Mar 26 at 10:51 Bharat Khatri 131

0

votes

1

answer

47

views

Table-Driven Lexer and the Classification Table

formal-grammars compilers lexical-analysis

modified Mar 21 at 20:02 rici 6,681

0

votes

1

answer

77

views

taking school courses efficiently

optimization scheduling

modified Mar 29 at 19:38 D.W.♦ 118k

Top Questions

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