comp.theory
- Re: Finding edges of a given polyhedra in 3D
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- an optimization problem
- Re: Restricted Turing machine
- From: Torben Ægidius Mogensen
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Growth Rate of Level-k Goodstein Function
- Re: Finding edges of a given polyhedra in 3D
- Re: Finding edges of a given polyhedra in 3D
- Re: Finding edges of a given polyhedra in 3D
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Finding edges of a given polyhedra in 3D
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Finding edges of a given polyhedra in 3D
- Re: Finding edges of a given polyhedra in 3D
- Re: Finding edges of a given polyhedra in 3D
- Re: Finding edges of a given polyhedra in 3D
- Re: Finding edges of a given polyhedra in 3D
- Re: Restricted Turing machine
- Re: Restricted Turing machine
- Re: Restricted Turing machine
- Re: Restricted Turing machine
- Restricted Turing machine
- Finding edges of a given polyhedra in 3D
- The Mathematician's Algorithm and Automated Theory Generation
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- pebble automata
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- CFP: APPLIED COMPUTING 2007 - Submission Deadline extended
- From: natty2006@xxxxxxxxx
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Solve math inequality with SAT (CNF)
- Re: Top down parsing
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- EROW 2007: Submission Deadline Extension
- Re: Model time delay in finit state machine
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Model time delay in finit state machine
- Re: Solve math inequality with SAT (CNF)
- Solve math inequality with SAT (CNF)
- From: mehassan@xxxxxxxxxxx
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: how to prove: let L be any subset of 0*. is L regular?
- Re: Parse tree problem
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Top down parsing
- Top down parsing
- Parse tree problem
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: Growth Rate of Level-k Goodstein Function
- Re: computing on streams of data
- Re: computing on streams of data
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: computing on streams of data
- Re: Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: computing on streams of data
- Counter example for Mr. Diaby algorithm solving TSP problem in polynomial time
- Re: computing on streams of data
- Re: computing on streams of data
- Re: computing on streams of data
- Re: computing on streams of data
- Re: Growth Rate of Level-k Goodstein Function
- Re: Direct Euler Cycle and de Brujin Sequence
- Re: Growth Rate of Level-k Goodstein Function
- Hopcroft-Tarjan Planarity Algorithm (problem with edge weighting?)
- Hopcroft-Tarjan Planarity Algorithm (problem with edge weighting?)
- Re: Direct Euler Cycle and de Brujin Sequence
- Re: A Possible "solution" to the Halting Problem
- Re: Direct Euler Cycle and de Brujin Sequence
- Re: Direct Euler Cycle and de Brujin Sequence
- Re: Direct Euler Cycle and de Brujin Sequence
- Re: Direct Euler Cycle and de Brujin Sequence
- Re: Direct Euler Cycle and de Brujin Sequence
- Direct Euler Cycle and de Brujin Sequence
- Re: K-regular bipartitie graph
- Re: Algorithm For Calculating Permutations
- Halting Problem: There are two kinds of people, those who finish what they start and those who ...
- Re: proving string has atmost k length whose NFA has k states
- From: Rupesh Bhochhibhoya
- Re: Algorithm For Calculating Permutations
- Algorithm For Calculating Permutations
- Re: computing on streams of data
- Re: computing on streams of data
- Re: K-colorable graphs
- Re: how to prove: let L be any subset of 0*. is L regular?
- Re: how to prove: let L be any subset of 0*. is L regular?
- Re: K-colorable graphs
- Re: how to prove: let L be any subset of 0*. is L regular?
- Re: Growth Rate of Level-k Goodstein Function
- Re: how to prove: let L be any subset of 0*. is L regular?
- Re: Growth Rate of Level-k Goodstein Function
- Re: how to prove: let L be any subset of 0*. is L regular?
- Re: computing on streams of data
- how to prove: let L be any subset of 0*. is L regular?
- Re: proving string has atmost k length whose NFA has k states
- Re: computing on streams of data
- Re: computing on streams of data
- Re: computing on streams of data
- proving string has atmost k length whose NFA has k states
- From: Rupesh Bhochhibhoya
- Re: computing on streams of data
- Re: computing on streams of data
- Re: computing on streams of data
- computing on streams of data
- Proof of Correctness - Jarvis' March
- Re: K-colorable graphs
- Re: Master Theorem
- Re: Finding median in theta(n^lg3) time
- Finding median in theta(n^lg3) time
- Re: K-colorable graphs
- Re: K-colorable graphs
- Re: K-colorable graphs
- From: Jamie Andrews; real address @ bottom of message
- Re: Convex Hull of S and S'
- Re: Master Theorem
- Re: Master Theorem
- Re: About jumps in trees
- Re: About jumps in trees
- Re: About jumps in trees
- Master Theorem
- From: xuwenduan2010@xxxxxxxxx
- Re: K-regular bipartitie graph
- Re: Convex Hull of S and S'
- Re: K-regular bipartitie graph
- Re: About jumps in trees
- Re: Convex Hull of Points on a Straight Line
- Re: Convex Hull of Points on a Straight Line
- Convex Hull of S and S'
- Re: K-colorable graphs
- Re: Convex Hull of Points on a Straight Line
- About jumps in trees
- Re: Convex Hull of Points on a Straight Line
- Re: Convex Hull of Points on a Straight Line
- Re: Convex Hull of Points on a Straight Line
- Re: K-regular bipartitie graph
- Re: Information for efficent computation of median
- Re: Finding Adjacent Vertices
- K-regular bipartitie graph
- Re: Finding Adjacent Vertices
- Finding Adjacent Vertices
- Re: comp.theory vs. sci.math
- Qustion: a special eigenvalue problem
- Re: How to compute "A1 x. .. x An subset B" fast if B is fixed? Reduced maximal set of Cartesian products.
- Re: Gray Code
- Re: K-colorable graphs
- Re: K-colorable graphs
- Re: Convex Hull of Points on a Straight Line
- Re: Convex Hull of Points on a Straight Line
- Re: Convex Hull of Points on a Straight Line
- Re: K-colorable graphs
- Re: Convex Hull of Points on a Straight Line
- Re: Obtaining a combinatorial proof for the PCP theorem..
- Re: Computable categories?
- From: Jose Juan Mendoza Rodriguez
- Re: Einstein’s E=mc2 . Should Newton , De Pretto , Preston, Hasenohrl and Soddi, Planck be given credit for discovery of E=mc2. ?
- Re: Einstein’s E=mc2 . Should Newton , De Pretto , Preston, Hasenohrl and Soddi, Planck be given credit for discovery of E=mc2. ?
- Re: How to compute "A1 x. .. x An subset B" fast if B is fixed? Reduced maximal set of Cartesian products.
- Re: question concerning deterministic finite state automata
- Re: K-colorable graphs
- Re: K-colorable graphs
- Re: K-colorable graphs
- Correct title for "Maximal Common Subsets" problem?
- question concerning deterministic finite state automata
- K-colorable graphs
- Re: Einstein’s E=mc2 . Should Newton , De Pretto , Preston, Hasenohrl and Soddi, Planck be given credit for discovery of E=mc2. ?
- Convex Hull of Points on a Straight Line
- Re: Gray Code
- Re: Gray Code
- Obtaining a combinatorial proof for the PCP theorem..
- Manuscript of thesis which may be of interest
- Re: On the complexity of determining whether n numbers are distinct
- Re: On the complexity of determining whether n numbers are distinct
- Re: On the complexity of determining whether n numbers are distinct
