Historical dossier 005

Redundancy, Obscurity, Self-Containment & Independence

A recorded P ≠ NP claim by Seenil Gram, preserved from Woeginger’s frozen 2016 page.

Dossier: 005
Author(s): Seenil Gram
Date recorded: November 13-16, 2001
Direction: P ≠ NP
Works or versions: 1
Adjudication: Not recorded
Seed source: sources/captures/woeginger-list-frozen-2016.html
Source selector: ol > li:nth-of-type(5)

Woeginger’s note — verbatim historical text

Verbatim historical text

[Not equal]: The 3rd International Conference on Information and Communications Security (ICICS 2001) took place in Xian, China, November 13-16, 2001. The proceedings of ICICS 2001 have been published as Volume 2229 of Springer Lecture Notes in Computer Science. Pages 495-501 of these proceedings contain the paper "Redundancy, Obscurity, Self-Containment & Independence" by Seenil Gram; this paper first proves the so-called "Indistinguishability Lemma" and then deduces (on the top of page 501) as a simple, direct corollary that EXP is contained in NP. Seenil Gram has also provided some additional explanations on his breakthrough result in the newsgroup "sci.crypt". (Thanks to Daniel Marx for providing this link.)

Preserved from the frozen 2016 page. This is the historical layer, not the Register’s voice.

Adjudication status

Unadjudicated

Unadjudicated

No adjudication is recorded in the imported historical dossier.

Unadjudicated does not mean endorsed.

As of 24 July 2026

Links printed in the dossier

Link status checked against the held 24 July 2026 probe. A dead link does not change the claim’s status.

Link printed in the historical dossier
Dead
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=2229
DEAD:HTTPError · Link status checked 24 July 2026.
Look for an archived copy. A dead link does not change the claim’s status.
Link printed in the historical dossier
Dead
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2229&spage=495
DEAD:HTTPError · Link status checked 24 July 2026.
Look for an archived copy. A dead link does not change the claim’s status.
Link printed in the historical dossier
Dead
http://www.google.com/groups?selm=bdd4c781.0111191346.4f1279d8%40posting.google.com&oe=UTF-8&output=gplain
DEAD:HTTPError · Link status checked 24 July 2026.
Look for an archived copy. A dead link does not change the claim’s status.

Cite this dossier

Plain text

The P versus NP Register. “Dossier 005: Redundancy, Obscurity, Self-Containment & Independence.” As of 24 July 2026.

BibTeX

@misc{pvnp-register-005-2026,
  author = {{The P versus NP Register}},
  title = {Redundancy, Obscurity, Self-Containment & Independence},
  year = {2026},
  note = {Dossier 005; as of 2026-07-24}
}

Event timeline

No post-seed events are recorded for this dossier. Its imported historical record remains unchanged.