user avatar
user avatar
user avatar
asv
  • Member for 5 years, 7 months
  • Last seen more than 1 year ago
8 votes
4 answers
2k views

Regular expressions and 'capturing parentheses' with 'backreferences'

5 votes
1 answer
100 views

Primitive word and cyclic rotations

3 votes
1 answer
94 views

Functional problem and verifying solutions

3 votes
1 answer
596 views

Correctness proof of the algoritm to generate permutations in lexicographic order

2 votes
1 answer
110 views

How to make an unambigous grammar of a programming language

1 vote
1 answer
673 views

Hamiltonian cycle, verifying and finding

1 vote
0 answers
182 views

Understanding deep cutoff in Alpha–beta pruning algorithm

0 votes
0 answers
72 views

Lexicographically minimal string rotation

0 votes
1 answer
883 views

Time complexity of DFS and recurrence relation

0 votes
2 answers
628 views

Definition of NP [duplicate]

0 votes
1 answer
116 views

Non consant size alphabet

0 votes
1 answer
41 views

String matching and bioinformatics [closed]

0 votes
1 answer
21 views

Injective burrows wheeler

0 votes
0 answers
46 views

Inverse of Burrows-Wheeler

-1 votes
1 answer
93 views

Formal definition of stable sorting algorithm