Network profile

Patrick87

Reputation

12,439

12.4k
11.5k
10.6k

2018
2019
2020
2021

Top tag

formal-languages

Next privilege

15,000 Rep.

Protect questions

Badges

Newest

Yearling

Next badge

67/80

Impact

67 posts edited

0 helpful flags

611 votes cast

19 Questions

Votes Activity Newest Views

votes

answers

views

Determining capabilities of a min-heap (or other exotic) state machines

formal-languages automata

Apr 1 '12 at 14:08 Community♦ 1

votes

answers

views

Are there inherently ambiguous and deterministic context-free languages?

formal-languages automata formal-grammars pushdown-automata

Jun 5 '14 at 3:12 vzn 10.7k

votes

answers

views

Do subqueries add expressive power to SQL queries?

database-theory relational-algebra

Jun 6 '13 at 21:52 Erwin Smout 149

votes

answer

558

views

Algorithm to chase a moving target

algorithms probability-theory randomized-algorithms

Apr 10 '13 at 13:45 HdM 818

votes

answers

616

views

How does variance in task completion time affect makespan?

probability-theory scheduling parallel-computing

Dec 7 '13 at 11:20 András Salamon 3,242

votes

answer

561

views

Proving closure under reversal of languages accepted by min-heap automata

formal-languages automata closure-properties

Mar 20 '13 at 4:30 Community♦ 1

votes

answers

519

views

Languages accepted by modified versions of finite automata

formal-languages automata finite-automata

Mar 14 '12 at 18:00 Community♦ 1

votes

answer

views

Computational power of deterministic versus nondeterministic min-heap automata

formal-languages automata nondeterminism

Mar 16 '12 at 18:25 Community♦ 1

votes

answer

763

views

Program synthesis, decidability and the halting problem

turing-machines undecidability halting-problem

Apr 5 '13 at 15:20 Shaull 15.4k

votes

answer

views

Analyzing a modified version of the card-game “War”

algorithms optimization

Mar 29 '12 at 16:31 Dave Clarke 19.8k

votes

answers

282

views

Ordering elements so that some elements don't come between others

algorithms optimization scheduling

May 30 '12 at 7:24 JeffE 8,373

votes

answer

276

views

Analysis of and references for Koch-snowflake-like (and other exotic) network topologies

computer-networks network-topology

May 9 '12 at 16:27 Peter 1,405

votes

answers

views

Algorithm to find optimal currency denominations

algorithms optimization combinatorics integers

Nov 10 '16 at 16:31 Nasiirr Khan 1

votes

answer

617

views

Proving closure under complementation of languages accepted by min-heap automata

formal-languages automata closure-properties

Apr 24 '12 at 7:15 Community♦ 1

votes

answer

437

views

Analyzing load balancing schemes to minimize overall execution time

scheduling distributed-systems parallel-computing

Mar 9 '12 at 17:09 Patrick87 12.4k

votes

answers

190

views

Computational power of nondeterministic type-1 min-heap automata with multiple heaps

formal-languages automata

Dec 2 '12 at 0:05 Community♦ 1

votes

answer

145

views

Power of nondeterministic type-1 min-heap automaton with both a heap and a stack

formal-languages automata

May 9 '14 at 11:44 Community♦ 1

votes

answers

103

views

Computational power of nondeterministic type-2 min-heap automata

formal-languages automata

Apr 1 '12 at 13:42 Community♦ 1

votes

answers

views

Minimal regular expression from minimal NFA for finite language in polynomial time?

finite-automata regular-expressions nondeterminism finite-sets

Sep 24 '19 at 0:12 Patrick87 12.4k

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

19 Questions

Determining capabilities of a min-heap (or other exotic) state machines

Are there inherently ambiguous and deterministic context-free languages?

Do subqueries add expressive power to SQL queries?

Algorithm to chase a moving target

How does variance in task completion time affect makespan?

Proving closure under reversal of languages accepted by min-heap automata

Languages accepted by modified versions of finite automata

Computational power of deterministic versus nondeterministic min-heap automata

Program synthesis, decidability and the halting problem

Analyzing a modified version of the card-game “War”

Ordering elements so that some elements don't come between others

Analysis of and references for Koch-snowflake-like (and other exotic) network topologies

Algorithm to find optimal currency denominations

Proving closure under complementation of languages accepted by min-heap automata

Analyzing load balancing schemes to minimize overall execution time

Computational power of nondeterministic type-1 min-heap automata with multiple heaps

Power of nondeterministic type-1 min-heap automaton with both a heap and a stack

Computational power of nondeterministic type-2 min-heap automata

Minimal regular expression from minimal NFA for finite language in polynomial time?