Hottest Questions Today

1

vote

0

answers

17

views

Cancellation in C++

asked 1 hour ago Pepsilon7 11

0

votes

0

answers

12

views

Сyclic routes in the table

algorithms graphs

asked 3 hours ago Kapa 137

1

vote

1

answer

58

views

Reducing a problem to the MST problem

graphs minimum-spanning-tree

modified 9 hours ago Lorenzo Najt 355

2

votes

0

answers

25

views

Finding the smallest-cost way to deliver goods

graphs reductions minimum-spanning-tree

modified 7 hours ago Wan 21

0

votes

0

answers

11

views

Can Johnson's algorithm for simple cycles be modified in order to find only cycles up to length L (but all of them)?

algorithms graphs

asked 7 hours ago cfreundchen 1

1

vote

2

answers

21

views

Closed form of recurrence with two inputs

proof-techniques recursion python

modified 31 mins ago dshin 121

0

votes

0

answers

36

views

Type-checking function calls with functional subtyping

programming-languages type-checking type-inference

modified 7 hours ago giofrida 61

5

votes

1

answer

160

views

The same outgoing and incoming degree in graph

algorithms graphs network-flow

answered yesterday Yuval Filmus 232k

0

votes

1

answer

37

views

Bipartite maximum matching with added constraints

algorithms graphs bipartite-matching vertex-cover

modified 2 hours ago dshin 121

0

votes

0

answers

26

views

Are floating-point numbers normalised by computers or humans?

floating-point

asked 18 hours ago DeadManProp 1

1

vote

7

answers

3k

views

Why can't we say that a Neural Network is a NP problem solver?

complexity-theory np-complete neural-networks

modified yesterday gnasher729 20.1k

0

votes

1

answer

16

views

How are bitwise operators used in normalisation of floating-point numbers?

floating-point bit-manipulation

answered 14 hours ago plshelp 592

1

vote

0

answers

23

views

A genral Turing model with one tape to define sublinear space (L,NL,..)

turing-machines time-complexity space-complexity definitions

modified 19 hours ago rl1 143

3

votes

1

answer

42

views

Playing video games to solve SAT instances

reductions satisfiability computer-games

answered 22 hours ago Kyle Jones 6,905

0

votes

3

answers

58

views

If a function $f(n)=\Theta(g(n))$, does it follow that $f(n/k)=\Theta(g(n))$ for a constant $k$?

complexity-theory asymptotics

modified 23 hours ago Lieuwe Vinkhuijzen 4,027

0

votes

0

answers

33

views

Is it true that if you solve an NP-complete problem in non-polynomial time, the solution also solves other NP-complete problems as well?

np-complete

asked yesterday kate 313

3

votes

2

answers

28

views

Nielsen & Chuang Exercise 3.15: Lower bound for compare-and-swap based sorts

complexity-theory sorting

answered 21 hours ago Gilles 'SO- stop being evil' 38.9k

0

votes

1

answer

30

views

Is automaton not practical in real coding?

automata

answered yesterday plshelp 592

1

vote

1

answer

18

views

AEP with a Twist!

probability-theory information-theory

answered yesterday Yuval Filmus 232k

0

votes

0

answers

15

views

segmentation fault (core dumped) error when I try to reverse a huge text file? [closed]

data-structures recursion

asked yesterday Yazan Qaryouti 1

1

vote

1

answer

37

views

Are intersection and union redundant? Possibility to get smaller output without negation?

database-theory relational-algebra

answered 22 hours ago 441Juggler 48

1

vote

1

answer

39

views

Converting Decimal Numbers between 0 and 1 to Binary

algorithms floating-point binary rounding

modified yesterday rici 7,415

0

votes

1

answer

15

views

Example for Database architecture

databases

answered yesterday DannyNiu 139

0

votes

0

answers

19

views

How would I convert separate digits to an actual number?

programming-languages

asked yesterday Diamoniner12345 1

-2

votes

0

answers

50

views

What's the name of the program that's used as a sample to test the verbosity/expressiveness of programming languages?

reference-request programming-languages

modified yesterday DannyNiu 139

1

vote

2

answers

43

views

Is a file a string of zeros and ones?

binary filesystems philosophy

answered 2 days ago Yuval Filmus 232k

2

votes

1

answer

36

views

Sort half-edges around common vertex in 3d

computational-geometry doubly-connected-edge-list

modified yesterday Discrete lizard♦ 6,254

1

vote

1

answer

24

views

Algorithm for maximizing the number of same-sized groups

optimization

modified yesterday SparklePeach 11

2

votes

1

answer

88

views

+100

How to edge-color a directed acyclic graph so that every path visits none or all edges of each color?

algorithms graphs colorings topological-ordering

modified yesterday Pål GD 8,556

2

votes

1

answer

12

views

Sufficient condition for $xy^*z \subseteq L$ for a DFA with $n$ states

finite-automata

modified yesterday Yuval Filmus 232k

-1

votes

0

answers

29

views

Are some algorithms inherently recursive “like”?

algorithms trees recursion

modified 2 days ago AdrianS 115

-2

votes

1

answer

26

views

“what does the 1 to 10 mean?” FOR number ← 1 TO 10

algorithms loops

answered 2 days ago Pål GD 8,556

1

vote

1

answer

45

views

Count subset divisible by 3

dynamic-programming probability-theory

modified yesterday Yuval Filmus 232k

2

votes

1

answer

22

views

Minimize range of distances between two sets of points

algorithms bipartite-matching

answered 2 days ago Yuval Filmus 232k

0

votes

1

answer

51

views

Knapsack Problem with Constraints on Item Values

algorithms algorithm-analysis runtime-analysis knapsack-problems

answered yesterday plshelp 592

1

vote

1

answer

47

views

Matrix rank only adding single row

matrices

modified 13 hours ago xdavidliu 288

4

votes

2

answers

240

views

Given a row sum vector and a column sum vector, determine if they can form a boolean matrix

combinatorics matrices

modified yesterday Peregring-lk 283

1

vote

0

answers

16

views

In index allocation scheme, what parameters does the maximum size of a file depends on?

database-theory databases dbms

asked 2 days ago Tushar Bhatt 11

0

votes

0

answers

21

views

Proving the L' = {w|deleting one symbol from a string in L} is regular when L is regular

automata

asked 2 days ago Sloan Kim 9

-2

votes

0

answers

22

views

Probability of false positive for lookup in hashtable

algorithms probability-theory hash hashing

asked 2 days ago sn3jd3r 109

1

vote

2

answers

29

views

Do languages in $\mathsf{coRE} \setminus \mathsf{R}$ have Turing machines?

turing-machines computability

answered 2 days ago Noah Schweber 1,886

0

votes

0

answers

28

views

3SAT and directed graph

algorithms complexity-theory graphs np-complete satisfiability

asked 2 days ago Mario Giambarioli 145

2

votes

2

answers

37

views

What roadblocks are there to HSA becoming standard, similar to floating point units becoming standard?

computer-architecture cpu

answered Sep 19 at 9:04 gnasher729 20.1k

2

votes

3

answers

55

views

Determining the number of iterations needed to find the number of bits in an integer

time-complexity bit-manipulation

modified Sep 19 at 14:37 recursive 101

2

votes

2

answers

49

views

Master theorem: what to do with constant in parenthesis?

master-theorem

modified Sep 18 at 21:47 Yuval Filmus 232k

1

vote

1

answer

15

views

SGD statistical guarantee

machine-learning statistics gradient-descent

answered 2 days ago D.W.♦ 124k

19

votes

5

answers

4k

views

What is the formal, rigorous definition of a programming language?

programming-languages

modified yesterday 6005 3,510

0

votes

1

answer

24

views

What is the complexity of k-clique problem with a predetermined vertex in the solution?

np-complete clique

answered Sep 19 at 0:22 Watercrystal 551

Top Questions

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