comp.theory

Date Index

Verifying complexity empirically, kestrel
contradiction with expanders and sat?, perfectanimezephyr
CFP/Bursary Awards- eCheminfo Community of Practice InterAction Meeting/India 08, Robby
home shop 18 - computer peripherals, patriberry
bispanning graphs, Michael Schnupp
New compression theory announcement soon, Einstein
question on relativization of an algorithm, cplxphil
- Message not available
  - Re: question on relativization of an algorithm, PhilipJWhite
- Message not available
  - Re: question on relativization of an algorithm, cplxphil
Espionage - Undetectable with new cryptology idea, spaceman
- Re: Espionage - Undetectable with new cryptology idea, cplxphil
extra income, ksvenkat
Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees., Le Chaud Lapin
- <Possible follow-ups>
- Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees., Richard Harter
  - Message not available
    - Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees., Lionel Delafosse
  - Message not available
    - Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees., Richard Harter
Cardinality of P, the.theorist
- Re: Cardinality of P, Kalle07
- Re: Cardinality of P, tchow
Decidability of P = NP, cplxphil
- Re: Decidability of P = NP, tchow
  - Re: Decidability of P = NP, cplxphil
The Best Online Money Maker Ever, money_maker
Fake Network Traffic Programs, novice
Online Iterated Prisoner's Dilemma, ipd . developer
This year's Godel Prize, cplxphil
- Re: This year's Godel Prize, tchow
  - Re: This year's Godel Prize, cplxphil
B tree, maverickcool@xxxxxxxxx
- Re: B tree, Tegiri Nenashi
  - Re: B tree, maverickcool@xxxxxxxxx
Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT, deepakc
- Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT, deepakc
Graph representation compress, Александр
- Re: Graph representation compress, Le Chaud Lapin
How to do this?, maasultan
- Re: How to do this?, Mark T.B. Carroll
- Re: How to do this?, Charlie-Boo
Re: obvious ("dumb") question about oracles and P vs. NP, tchow
Can EXPTIME and NP be separated via diagonalization?, cplxphil
- Re: Can EXPTIME and NP be separated via diagonalization?, tchow
  - Re: Can EXPTIME and NP be separated via diagonalization?, cplxphil
    - Re: Can EXPTIME and NP be separated via diagonalization?, tchow
    - Re: Can EXPTIME and NP be separated via diagonalization?, cplxphil
    - Re: Can EXPTIME and NP be separated via diagonalization?, tchow
    - Re: Can EXPTIME and NP be separated via diagonalization?, cplxphil
    - Re: Can EXPTIME and NP be separated via diagonalization?, Mitch
    - Re: Can EXPTIME and NP be separated via diagonalization?, tchow
    - Re: Can EXPTIME and NP be separated via diagonalization?, cplxphil
    - Re: Can EXPTIME and NP be separated via diagonalization?, tchow
    - Re: Can EXPTIME and NP be separated via diagonalization?, cplxphil
    - Re: Can EXPTIME and NP be separated via diagonalization?, Zhu Guohun
Java based sat solver, Thorsten Kiefer
Human computer dialog foundations, jacko
Re: Integer Factorization with SAT, Thorsten Kiefer
- Re: Integer Factorization with SAT, cplxphil
  - Re: Integer Factorization with SAT, jacko
    - Re: Integer Factorization with SAT, jacko
    - Re: Integer Factorization with SAT, cplxphil
    - Re: Integer Factorization with SAT, jacko
    - Re: Integer Factorization with SAT, cplxphil
- <Possible follow-ups>
- Re: Integer Factorization with SAT, novice
  - Re: Integer Factorization with SAT, Torben Ægidius Mogensen
    - Re: Integer Factorization with SAT, Thorsten Kiefer
    - Re: Integer Factorization with SAT, Thorsten Kiefer