User contributions for Arthur MILCHIOR
From Polymath Wiki
A user with 15 edits. Account created on 10 August 2010.
11 August 2010
- 16:3516:35, 11 August 2010 diff hist +3,148 Update new changes current
- 04:1404:14, 11 August 2010 diff hist +288 Deolalikar P vs NP paper →Issues with LFP
10 August 2010
- 16:4816:48, 10 August 2010 diff hist +40 m Update →Change between pnp_updated.pdf Second draft and np_updated-mjr.pdf draft 2 + &epsilon
- 16:4716:47, 10 August 2010 diff hist +11 m Update →Change between ' and pnp_updated.pdf Second draft
- 16:3316:33, 10 August 2010 diff hist +2 m Deolalikar P vs NP paper →The paper
- 16:3316:33, 10 August 2010 diff hist +63 Deolalikar P vs NP paper →The paper: added updates
- 16:3216:32, 10 August 2010 diff hist +2,578 Update →Change between pnp_updated.pdf Second draft and np_updated-mjr.pdf draft 2 + &epsilon
- 16:2616: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...
- 07:1007:10, 10 August 2010 diff hist +126 Deolalikar P vs NP paper →Terminology: added a link for FO in a descriptive complexity setting
- 07:0707:07, 10 August 2010 diff hist +291 Immerman-Vardi theorem No edit summary current
- 07:0107: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
- 06:1306:13, 10 August 2010 diff hist +1 m Deolalikar P vs NP paper forgot a (
- 06:1306: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
- 05:5505:55, 10 August 2010 diff hist +1 m Deolalikar P vs NP paper forgot a s
- 05:5405: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