Hottest Questions Today

1

vote

1

answer

81

views

Modern Programming Languages

answered 7 hours ago rici 8,472

1

vote

0

answers

12

views

How many vertices should be disconnected to make a graph acyclic?

graphs

asked 6 hours ago Erel Segal-Halevi 5,224

-3

votes

0

answers

11

views

Rod Trip Problem [closed]

algorithms programming-languages dynamic-programming c++ optimal-strategy

asked 10 hours ago Farrah 1

1

vote

2

answers

51

views

Is there any algorithm that finds the time complexity of another algorithm provided that it halts?

algorithms time-complexity decision-problem

answered 11 hours ago vonbrand 12.7k

1

vote

1

answer

18

views

Time complexity of checking whether a string exists in a HashSet

time-complexity hash-tables

answered 13 hours ago Pål GD 10.7k

0

votes

1

answer

18

views

What exactly is execution-time address binding?

operating-systems memory-management

answered 12 hours ago vonbrand 12.7k

0

votes

0

answers

21

views

Prove with pumping lemma that the language { $a^n b^n b^m a^m | n ≠ m $ } is not context free

context-free pumping-lemma

modified 9 hours ago John L. 25.7k

0

votes

0

answers

12

views

Algorithm for associating track ids

algorithms

asked 15 hours ago giggitygoat 1

0

votes

0

answers

14

views

Time complexity of system of linear equations when distribution of variables are known

time-complexity

asked 17 hours ago Sanu 23

-1

votes

1

answer

24

views

Placing k Queens in a board, recursive problem

algorithms recursion java

answered 18 hours ago FreeZe 97

0

votes

1

answer

14

views

Douglas-Peucker line simplification algorithm time complexity

complexity-theory asymptotics check-my-answer

modified 21 hours ago nir shahar 4,164

-1

votes

0

answers

11

views

Pushdown Automata accept odd length of string

pushdown-automata

asked yesterday Thomas 1

2

votes

1

answer

36

views

How to sort an array $A[1..n]$ where all but $\lfloor \sqrt n \rfloor$ elements are integers in range $\sqrt n$ to $n\sqrt n$, at $\Theta(n)$ time?

algorithms sorting

modified yesterday Steven 15.1k

-1

votes

0

answers

28

views

How can i show that this particular Language is Irregular?

formal-languages regular-languages

modified yesterday rici 8,472

0

votes

1

answer

12

views

PushDown Automata

pushdown-automata

modified yesterday Peter Lenkefi 178

1

vote

1

answer

18

views

What is the difference between broadcast and gossip/epidemics?

distributed-systems computer-networks network-topology message-passing

answered 23 hours ago Ran G. 19.5k

-2

votes

1

answer

39

views

Reduction from 3SAT to SUBSET-SUM

complexity-theory np-complete reductions decision-problem polynomial-time-reductions

answered 14 hours ago Alex Knapp 1

-3

votes

0

answers

34

views

Dfferences in c++ about how variables are used in functions and when to use int [closed]

programming-languages coding-theory

asked yesterday Delannoy 1

1

vote

0

answers

36

views

Checking correctness of grammar for $L = \{w \in \{a, b\}^* \text{ }| \text{ } w \text{ has } n_a(w) = 2n_b(w)\} $

formal-languages context-free formal-grammars

asked yesterday Tom Finet 196

-1

votes

0

answers

14

views

Select each item from a sequence of $n$ buckets to maximize value? [closed]

dynamic-programming knapsack-problems

asked yesterday Phong Le 119

1

vote

1

answer

23

views

Proof that class of languages accepted by DPDA by empty stack is not closed under union

formal-languages pushdown-automata closure-properties nondeterminism

answered yesterday Hendrik Jan 25.2k

1

vote

0

answers

23

views

Combining insertion/deletion operations in Levenshtein distance

algorithms edit-distance

modified yesterday zareami10 23

0

votes

0

answers

20

views

maximal independent set on grid-based graph proof of approximation ratio

np-hard approximation greedy-algorithms

modified yesterday morvis 28

0

votes

0

answers

20

views

Why is programmed I/O not suitable for high-speed data transfer?

computer-architecture

asked yesterday ANSHUL GUPTA 13

-2

votes

0

answers

22

views

A two-way push down automaton (2-PDA) can not be equivalent to a PDA?

pushdown-automata

asked yesterday Shivam Patel 1

1

vote

1

answer

31

views

+50

Pseudo-dimension of a subset of affine functions

machine-learning learning-theory vc-dimension

answered 14 hours ago Nathaniel 2,360

0

votes

1

answer

28

views

Turing machine generating $a^b$ for given a and b

turing-machines automata

answered yesterday nir shahar 4,164

1

vote

2

answers

58

views

Linear program for min-length pair of edge-disjoint paths problem

graphs shortest-path linear-programming integer-programming

modified 2 days ago D.W.♦ 131k

0

votes

1

answer

28

views

DFA for language

complexity-theory automata finite-automata

answered yesterday J.-E. Pin 5,631

3

votes

0

answers

18

views

Are automata useful in software verification?

automata software-verification model-checking

asked yesterday Rodrigo 2,104

1

vote

0

answers

17

views

Language of all words of the form $ww$ is in $\mathsf{NTIME}(n)$

turing-machines time-complexity definitions

modified yesterday Yuval Filmus 251k

-3

votes

1

answer

30

views

Cryptography - Let n = pqr where p, q, r are distinct primes

cryptography

answered yesterday gnasher729 22.4k

1

vote

0

answers

12

views

Algorithm to check if a family contains two disjoint sets

disjoint-sets

asked yesterday HereToRelax 215

0

votes

0

answers

14

views

Longest palindrome after swapping operation

strings string-matching longest-common-substring

asked yesterday Sharingan 1

4

votes

4

answers

3k

views

Is there any NP-hard problem which was proven to be solved in polynomial time or at least close to polynomial time?

complexity-theory time-complexity np-hard np p-vs-np

answered May 4 at 12:20 user11130854 21

0

votes

1

answer

23

views

Insertion sort Pseudo code vs implementation?

sorting python

modified yesterday Pål GD 10.7k

2

votes

1

answer

30

views

Algorithm to check two binary expression trees for equivalence

algorithms graphs

modified 2 days ago D.W.♦ 131k

0

votes

1

answer

18

views

Finding values in a space that matches a relational query

algorithms

modified yesterday aminrd 464

2

votes

2

answers

157

views

Sort an array with a constant number of unsorted elements

sorting arrays

modified May 6 at 6:17 greybeard 820

0

votes

0

answers

26

views

Prove language is not Turing-recognizable using contradiction

turing-machines regular-languages automata finite-automata

asked 2 days ago Gerald Chen 13

1

vote

1

answer

36

views

Can the Y-combinator really terminate?

lambda-calculus

answered 2 days ago Gilles 'SO- stop being evil' 40.3k

0

votes

0

answers

12

views

What other implementation styles are there besides compilation, interpretation and transpilation?

programming-languages compilers interpreters

asked yesterday Teodor Dyakov 1,245

0

votes

0

answers

15

views

Eliminating left recursion using a loop construct

context-free left-recursion

asked yesterday Peter Lenkefi 178

0

votes

1

answer

24

views

What is the right data structure for MST in a stream

algorithms data-structures streaming-algorithm

modified 2 days ago jjohn 474

-3

votes

0

answers

25

views

finding the dual of the given LP

data-structures machine-learning linear-programming linear-complexity

modified 2 days ago D.W.♦ 131k

0

votes

1

answer

29

views

Conditions for an Language to be infinite

formal-languages regular-expressions

modified 2 days ago rici 8,472

1

vote

1

answer

26

views

How to do binary search on a path in a binary heap

search-algorithms heaps search-problem binary-search

modified 2 days ago Inuyasha Yagami 1,306

Top Questions

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