Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Top Questions

12 votes
3 answers
3k views

Why are search problems assumed to have the structure of "find a path in a graph"?

1 vote
1 answer
366 views

If coNP ⊆ NP, does that mean coNP = NP?

4 votes
2 answers
1k views

Global optimization of state assignments in a directed graph with a tree-based distance cost

1 vote
1 answer
174 views

How to solve a system of XOR equations in a cyclic graph?

0 votes
4 answers
71 views

Proof that the mind/brain is not a finite state machine by recognizing an unrecognizable language?

0 votes
0 answers
90 views

Turing Machine transition table for checking a palindrome

0 votes
5 answers
45 views

Efficient data structure for multidimensional lookup

-1 votes
1 answer
28 views

Why do we use summations when computing time complexity?

0 votes
2 answers
39 views

Help regarding a proof in which i am able to prove a regular language $(a(a+b)*)$ as irregular using pumping lemma

0 votes
1 answer
38 views

Binary subset rank and unrank

1 vote
2 answers
23 views

Picking high index for binary search of sorted array

1 vote
0 answers
41 views

Constructing simple polygon from non-crossing orthogonal line segments

3 votes
1 answer
40 views

Is there an algorithm for rearranging a set in a specific way while optimizing for minimum amount of moves?

0 votes
0 answers
39 views

Inconsistent Turing machine

4 votes
0 answers
39 views

Algorithm for finding a path factor in a graph

0 votes
1 answer
32 views

Balancing tree by removing nodes instead of perfoming rotations to defined height $h$

1 vote
1 answer
19 views

Pseudo-Traveling Salesman on a colored graph

2 votes
1 answer
23 views

Number of configurations, non-deterministic $LBA$ and $A_{LBA}$

0 votes
1 answer
23 views

Is $L = \{\sigma_1 u \sigma_2 v \sigma_3 \mid (\sigma_1, \sigma_2, \sigma_3 \in \Sigma, u, v \in \Sigma^*, |u| = |v|) and ...$ regular

1 vote
1 answer
22 views

Floating Point to Integer Conversion (fcvt.*) hardware implementation

0 votes
1 answer
21 views

Can I maintain Determinism of PDA just by changing stack symbol while keeping state and input symbol same?

2 votes
1 answer
19 views

Why Normalisation by Evaluation needs to use a different representation of programs?

0 votes
0 answers
24 views

Why are languages fed as input into machines/automata as a stream and why do automata read one symbol at a time?

1 vote
1 answer
24 views

How much do llms know?

1 vote
1 answer
23 views

Algorithm for solving linear equations if interested only in the first component

0 votes
0 answers
21 views

Algorithm to find local minima of function which is unbounded from below [closed]

-3 votes
0 answers
21 views

Why is it necessary to include brackets next to the class name in Python, while calling a method? [closed]

-1 votes
0 answers
20 views

Exercise: More on hashing for estimating sizes of sets

2 votes
0 answers
19 views

Is it decidable whether a Turing machine is universal? [duplicate]

0 votes
0 answers
18 views

Confusion on 1 bit precession

0 votes
0 answers
17 views

Compile vs Runtime Binding

1 vote
0 answers
17 views

Multiplayer one-round one-move voronoi game on graphs

2 votes
0 answers
17 views

Fastest possible (direct?) simulation of one tape turing machines by a small one tape Universal Turing Machine

0 votes
1 answer
17 views

Generating all unique (tape content, head position) possibilities for a Turing Machine

-1 votes
0 answers
16 views

Using Binary Search to Calculate the nearest 2d Co-ordinate from a list , Leetcode#2812

0 votes
0 answers
16 views

Reinforcement Learning DDPG: creating a meaningful heat map of action value and state

0 votes
0 answers
16 views

Improve performances of Gauss-Jordan (XOR-SAT) Algorithm?

0 votes
0 answers
15 views

Is memory barrier NECESSARY for memory consistency?

0 votes
1 answer
15 views

Concise definitions for different types of computational problems

0 votes
0 answers
15 views

Asymptotic bound

0 votes
0 answers
13 views

is there a way to eliminate indirect left recursion of this grammar?

0 votes
0 answers
11 views

Using XOR operation, a MOD operation compute a function f(n)

0 votes
0 answers
11 views

Incorrect integration results in Adaptive Quadrature routine with periodic functions

0 votes
1 answer
11 views

Finding Common Neighbors between Graph Nodes

0 votes
0 answers
11 views

Short SK combinator expression with long reduction / Busy Beaver for SK combinators

-1 votes
0 answers
11 views

Which type of language is need for web development [closed]


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