comp.theory

Date Index

Probabilities in Complexity of Sequential Search Question, eKo1
passive radar theory refrence needed, Peter Divos
Can we neural networks to predict code change?, joshipura
- Re: Can we neural networks to predict code change?, tchow
- Re: Can we neural networks to predict code change?, Chris Smith
  - Re: Can we neural networks to predict code change?, joshipura
    - Re: Can we neural networks to predict code change?, Stephen Harris
    - Re: Can we neural networks to predict code change?, Stephen Harris
  - Re: Can we neural networks to predict code change?, Stephen Harris
Division by zero, Nicolas . Capens
- Re: Division by zero, Patricia Shanahan
  - Re: Division by zero, Nicolas . Capens
- Re: Division by zero, Proginoskes
  - Re: Division by zero, Nicolas . Capens
    - Re: Division by zero, tchow
pumping lemma question, 3ashmawy
- Re: pumping lemma question, Chris Smith
Which Algorithm is Faster?, eKo1
- Re: Which Algorithm is Faster?, Proginoskes
- Re: Which Algorithm is Faster?, eKo1
I need help with some algorithm, Pawel_Iks
- Re: I need help with some algorithm, Patricia Shanahan
  - Re: I need help with some algorithm, Pawel_Iks
Analog = digital?, JMF
- Re: Analog = digital?, tchow
  - Re: Analog = digital?, JMF
    - Re: Analog = digital?, tchow
    - Re: Analog = digital?, JMF
    - Re: Analog = digital?, tchow
    - Re: Analog = digital?, JMF
Scheduling processor bound systems, shtasik
Call for Papers: WEA 2007, camil
np-complete, CubanBoy
- Re: np-complete, Proginoskes
  - Re: np-complete, Bryan Olson
  - Re: np-complete, CubanBoy
    - Re: np-complete, Babua
References, Chris Smith
Re: Email address establishedness test, Booted Cat
- <Possible follow-ups>
- Re: Email address establishedness test, Booted Cat
- Re: Email address establishedness test, Booted Cat
  - Re: Email address establishedness test, Booted Cat
    - Re: Email address establishedness test, Booted Cat
    - Re: Email address establishedness test, Booted Cat
- Re: Email address establishedness test, Nicholas King
  - Re: Email address establishedness test, Booted Cat
Anyone at University of Waterloo ?, p . minervini
recursively enumerable lang. closure proof morphism, hkrizek@xxxxxxxxx
CFP: WTASA 2007, Submission Deadline, Jan 23, 2007;, Xiang-Yang Li
- <Possible follow-ups>
- CFP: WTASA 2007, Submission Deadline, Jan 23, 2007;, Xiang-Yang Li
AAIM 2007: Submission in 2 weeks (Dec 26th, 2006), Xiang-Yang Li
- <Possible follow-ups>
- AAIM 2007: Submission in 2 weeks (Dec 26th, 2006), Xiang-Yang Li
Types of registers, Atreides
using non determinstic TM to prove NP is closed under kleene closure, wbsurfver@xxxxxxxxx
- Re: using non determinstic TM to prove NP is closed under kleene closure, Chris Smith
Re: Question on computational complexity, Proginoskes
Re: maximal 3-colorable subset, Proginoskes
Regular Tree Grammar vs. Context-Free Grammar, Eric Wohlstadter
- Re: Regular Tree Grammar vs. Context-Free Grammar, Ben Bacarisse
  - Re: Regular Tree Grammar vs. Context-Free Grammar, Hans Aberg
    - Re: Regular Tree Grammar vs. Context-Free Grammar, Eric Wohlstadter
    - Re: Regular Tree Grammar vs. Context-Free Grammar, Ben Bacarisse
    - Re: Regular Tree Grammar vs. Context-Free Grammar, Ben Bacarisse
    - Re: Regular Tree Grammar vs. Context-Free Grammar, Hans Aberg
    - Re: Regular Tree Grammar vs. Context-Free Grammar, Eric Wohlstadter
    - Re: Regular Tree Grammar vs. Context-Free Grammar, Chris F Clark
Quantum Computation By Adiabatic Evolution, Or Sattath
Flow Decomposition, RamT
- Re: Flow Decomposition, Robby Goetschalckx
  - Re: Flow Decomposition, RamT
Re: Minimizing length of a document, Booted Cat
- Re: Minimizing length of a document, A . L .
- <Possible follow-ups>
- Re: Minimizing length of a document, Booted Cat
- Re: Minimizing length of a document, Booted Cat
Re: Let programming contest kids do the research!, Booted Cat
A stupid thought about Hamilton Path problem, Booted Cat
- Re: A stupid thought about Hamilton Path problem, Booted Cat
  - Re: A stupid thought about Hamilton Path problem, dfarr@xxxxxxxxxxx
    - Re: A stupid thought about Hamilton Path problem, Booted Cat
    - Re: A stupid thought about Hamilton Path problem, Bryan Olson
    - Re: A stupid thought about Hamilton Path problem, Patricia Shanahan
    - Re: A stupid thought about Hamilton Path problem, A . L .
    - Re: A stupid thought about Hamilton Path problem, Booted Cat
- Re: A stupid thought about Hamilton Path problem, A . L .
  - Re: A stupid thought about Hamilton Path problem, Booted Cat
    - Re: A stupid thought about Hamilton Path problem, A . L .
big-oh question, babyip
- Re: big-oh question, Patricia Shanahan
  - Re: big-oh question, Radoslaw Hofman
MTU values on a network, grocery_stocker
ISIPTA '07 Call For Papers, Alessandro Antonucci
Word problem for nondeterministic BDD, sasha mal
- <Possible follow-ups>
- Word problem for nondeterministic BDD, sasha mal
grammars and predictive parsing, Per Freem
- Re: grammars and predictive parsing, Torben Ægidius Mogensen
- Re: grammars and predictive parsing, ledaiman
Re: An easy way to prove P != NP, Patricia Shanahan
- <Possible follow-ups>
- Re: An easy way to prove P != NP, Craig Feinstein
  - Re: An easy way to prove P != NP, Bryan Olson
    - Re: An easy way to prove P != NP, Russell Easterly
    - Re: An easy way to prove P != NP, tchow
    - Re: An easy way to prove P != NP, Radosław Hofman
    - Re: An easy way to prove P != NP, tchow
    - Re: An easy way to prove P != NP, Proginoskes
  - Re: An easy way to prove P != NP, Patricia Shanahan
    - Re: An easy way to prove P != NP, tchow
    - Re: An easy way to prove P != NP, Craig Feinstein
    - Re: An easy way to prove P != NP, Bryan Olson
Re: Is there a known algorithm to solve this "playoff ranking" problem?, A.G.McDowell
- Re: Is there a known algorithm to solve this "playoff ranking" problem?, Chris F Clark
Shortest Path Between Major US Cities (aka TSP), Neo
- Re: Shortest Path Between Major US Cities (aka TSP), A . L .
- Re: Shortest Path Between Major US Cities (aka TSP), tchow
  - Re: Shortest Path Between Major US Cities (aka TSP), tchow
    - Re: Shortest Path Between Major US Cities (aka TSP), Neo
    - Re: Shortest Path Between Major US Cities (aka TSP), A . L .
    - Re: Shortest Path Between Major US Cities (aka TSP), Neo
    - Re: Shortest Path Between Major US Cities (aka TSP), A . L .
    - Re: Shortest Path Between Major US Cities (aka TSP), Patricia Shanahan
    - Re: Shortest Path Between Major US Cities (aka TSP), tchow
    - Re: Shortest Path Between Major US Cities (aka TSP), Neo
Re: Water surface in hexahedron, macio
- Re: Water surface in hexahedron, Babua
  - Re: Water surface in hexahedron, macio
Re: Discussion regarding Mr. Diabys algorithm, deepakc
Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
- Re: Discussion about transformation TSP to UniqueTSP, deepakc
  - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Back to Diaby's wrong algorithm; was: Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Back to Diaby's wrong algorithm; was: Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Back to Diaby's wrong algorithm; was: Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, tchow
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, tchow
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, tchow
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, anuj . dawar
    - Re: Discussion about transformation TSP to UniqueTSP, Anuj Dawar
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Radosław Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Anuj Dawar
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, deepakc
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Anuj Dawar
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, Radoslaw Hofman
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, mathisart
    - Re: Discussion about transformation TSP to UniqueTSP, mathisart
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, mathisart
    - Re: Discussion about transformation TSP to UniqueTSP, Patricia Shanahan
    - Re: Discussion about transformation TSP to UniqueTSP, Bryan Olson
    - Re: Discussion about transformation TSP to UniqueTSP, tchow
grammar q, Per Freem
- Re: grammar q, Andrea Moro