User abc

1 vote

Accepted

Turing machine with possible transitions to the final state

answered Nov 28, 2013 at 20:50

1 vote

How to prove that adding incoming edges to source node doesn't alter the max flow

answered Nov 9, 2018 at 10:09

3 votes

Understanding integer factorization is NP

answered Oct 21, 2018 at 11:11

0 votes

Accepted

What's wrong with this grammar

answered Oct 15, 2018 at 7:11

3 votes

Accepted

Use the pumping lemma to prove that the following language is not context free

answered Oct 6, 2018 at 12:23

3 votes

Does UDP always deliver packets inorder to the application layer

answered Aug 11, 2018 at 12:24

6 votes

Accepted

Time complexity to check if there is an edge between two nodes in an adjacency list

answered Mar 5, 2018 at 16:41

3 votes

Accepted

ILP runtime seems to be linear?

answered Mar 2, 2018 at 8:59

12 votes

Accepted

Primality testing: Why is dividing a number $n$ by every integer between 2 and $\sqrt{n}$ an inefficient test?

answered Feb 21, 2018 at 12:21

4 votes

Accepted

What is a "slice" of a parameterized problem $(Q, \kappa)$?

answered Jan 7, 2018 at 17:05

4 votes

Accepted

What's the possibility of random guessing a youtube's video ID

answered Sep 6, 2017 at 13:05

0 votes

Prove that Hitting Set is NP-Complete

answered Sep 2, 2017 at 18:01

1 vote

Accepted

Minimal colouring problem aproximation threshold

answered Sep 1, 2017 at 18:03

0 votes

Accepted

Why $\left\lceil lgn \right\rceil <lgn+1\le 2lgn\quad for\quad all\quad n\ge 2$

answered Sep 1, 2017 at 12:20

1 vote

Accepted

Mathematical equivalent of reduce()?

answered Sep 1, 2017 at 9:53

1 vote

Can you give an inductive definition to define the length of a list L?

answered May 10, 2017 at 9:28

2 votes

Shortest path with positive edge cycle

answered Apr 24, 2017 at 11:14

1 vote

Accepted

What is the difference between a "meta model" and "design patterns"?

answered Apr 21, 2017 at 11:01

3 votes

How can every regex be accepted by an infinite number of finite automata?

answered Apr 17, 2017 at 8:54

1 vote

Generating a Context Free Grammar from a Language

answered Apr 10, 2017 at 12:18

1 vote

Accepted

Can the common algorithm to convert to Chomsky Normal Form result in “useless” productions?

answered Apr 5, 2017 at 11:01

2 votes

Accepted

Formal languages - exercise

answered Apr 4, 2017 at 16:17

19 votes

Accepted

How does 0 have two values in one's complement?

answered Apr 3, 2017 at 15:50

0 votes

Accepted

Finding the language accepted by a DFA

answered Apr 3, 2017 at 20:10

8 votes

log(n) complexity. Difficulty understanding example

answered Apr 3, 2017 at 7:03

2 votes

Accepted

Proof that $A^* - \{x\} = A^+$ such that $A=\{a,b\}$ and $x \in \{a,b\}^*$

answered Apr 2, 2017 at 20:49

3 votes

Floyd–Warshall algorithm ,Behavior with negative cycles

answered Apr 2, 2017 at 18:35

1 vote

Building a context-free grammar for this language

answered Apr 2, 2017 at 14:37

1 vote

special case of best first search algorithms

answered Apr 2, 2017 at 11:26

1 vote

How to reduce 2-coloring to 2-SAT

answered Mar 28, 2017 at 18:59

Stack Exchange Network

33 Answers

Turing machine with possible transitions to the final state

How to prove that adding incoming edges to source node doesn't alter the max flow

Understanding integer factorization is NP

What's wrong with this grammar

Use the pumping lemma to prove that the following language is not context free

Does UDP always deliver packets inorder to the application layer

Time complexity to check if there is an edge between two nodes in an adjacency list

ILP runtime seems to be linear?

Primality testing: Why is dividing a number $n$ by every integer between 2 and $\sqrt{n}$ an inefficient test?

What is a "slice" of a parameterized problem $(Q, \kappa)$?

What's the possibility of random guessing a youtube's video ID

Prove that Hitting Set is NP-Complete

Minimal colouring problem aproximation threshold

Why $\left\lceil lgn \right\rceil <lgn+1\le 2lgn\quad for\quad all\quad n\ge 2$

Mathematical equivalent of reduce()?

Can you give an inductive definition to define the length of a list L?

Shortest path with positive edge cycle

What is the difference between a "meta model" and "design patterns"?

How can every regex be accepted by an infinite number of finite automata?

Generating a Context Free Grammar from a Language

Can the common algorithm to convert to Chomsky Normal Form result in “useless” productions?

Formal languages - exercise

How does 0 have two values in one's complement?

Finding the language accepted by a DFA

log(n) complexity. Difficulty understanding example

Proof that $A^* - \{x\} = A^+$ such that $A=\{a,b\}$ and $x \in \{a,b\}^*$

Floyd–Warshall algorithm ,Behavior with negative cycles

Building a context-free grammar for this language

special case of best first search algorithms

How to reduce 2-coloring to 2-SAT