User contributions for Arthur MILCHIOR

11 August 2010

• 17:3517:35, 11 August 2010 diff hist +3,148‎ Update ‎ new changes current
• 05:1405:14, 11 August 2010 diff hist +288‎ Deolalikar P vs NP paper ‎ →‎Issues with LFP

10 August 2010

• 17:4817:48, 10 August 2010 diff hist +40‎ m Update ‎ →‎Change between pnp_updated.pdf Second draft and np_updated-mjr.pdf draft 2 + &epsilon
• 17:4717:47, 10 August 2010 diff hist +11‎ m Update ‎ →‎Change between ' and pnp_updated.pdf Second draft
• 17:3317:33, 10 August 2010 diff hist +2‎ m Deolalikar P vs NP paper ‎ →‎The paper
• 17:3317:33, 10 August 2010 diff hist +63‎ Deolalikar P vs NP paper ‎ →‎The paper: added updates
• 17:3217:32, 10 August 2010 diff hist +2,578‎ Update ‎ →‎Change between pnp_updated.pdf Second draft and np_updated-mjr.pdf draft 2 + &epsilon
• 17:2617:26, 10 August 2010 diff hist +1,171‎ N Update ‎ New page: Many drafts existed, with a few changes between them. But it seems Deolalikar did not provide a list of the change. Using pdftotext and diff, I will try to state every change between the f...
• 08:1008:10, 10 August 2010 diff hist +126‎ Deolalikar P vs NP paper ‎ →‎Terminology: added a link for FO in a descriptive complexity setting
• 08:0708:07, 10 August 2010 diff hist +291‎ Immerman-Vardi theorem ‎No edit summary current
• 08:0108:01, 10 August 2010 diff hist +277‎ N User:Arthur MILCHIOR ‎ New page: Student of Ecole Normale Supérieur, Paris. In intership with David A. Mix Barrington at Umass Amherst. Formelly a student of University Pierre and Marie Curie and of Univesity of Montreal... current
• 07:1307:13, 10 August 2010 diff hist +1‎ m Deolalikar P vs NP paper ‎ forgot a (
• 07:1307:13, 10 August 2010 diff hist +16‎ m Deolalikar P vs NP paper ‎ added references to AVV paper, stating that LFP is not enough to have P
• 06:5506:55, 10 August 2010 diff hist +1‎ m Deolalikar P vs NP paper ‎ forgot a s
• 06:5406:54, 10 August 2010 diff hist +345‎ Deolalikar P vs NP paper ‎ it is known that without order, there is not P, and not even parity