{"action":"opened","issue":{"url":"https://api.github.com/repos/szymtor/locfin/issues/42","labels_url":"https://api.github.com/repos/szymtor/locfin/issues/42/labels{/name}","comments_url":"https://api.github.com/repos/szymtor/locfin/issues/42/comments","events_url":"https://api.github.com/repos/szymtor/locfin/issues/42/events","html_url":"https://github.com/szymtor/locfin/issues/42","id":54709313,"number":42,"title":"Moje uwagi","user":{"login":"eryxcc","id":10352192,"avatar_url":"https://avatars.githubusercontent.com/u/10352192?v=3","gravatar_id":"","url":"https://api.github.com/users/eryxcc","html_url":"https://github.com/eryxcc","followers_url":"https://api.github.com/users/eryxcc/followers","following_url":"https://api.github.com/users/eryxcc/following{/other_user}","gists_url":"https://api.github.com/users/eryxcc/gists{/gist_id}","starred_url":"https://api.github.com/users/eryxcc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eryxcc/subscriptions","organizations_url":"https://api.github.com/users/eryxcc/orgs","repos_url":"https://api.github.com/users/eryxcc/repos","events_url":"https://api.github.com/users/eryxcc/events{/privacy}","received_events_url":"https://api.github.com/users/eryxcc/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-01-18T20:41:27Z","updated_at":"2015-01-18T20:41:27Z","closed_at":null,"body":"Moje uwagi:\r\n\r\n- komentarze po sformułowaniu Twierdzenia 1: trzeba napisać, że \"our technical tool\" dotyczy rozstrzygalności/upper boundu, podobnie Tw Ramseya dowodzi rozstrzygalności/upper boundu\r\n\r\n- \", sometimes arise naturally\" - chyba bez przecinka\r\n\r\n- Lemat 5 o reprezentantach (a także Lematy 3 i 4) nie podają złożoności, a jest ona\r\n  konieczna, by udowodnić Proposition 11 (o redukcji PSPACE).\r\n\r\n- w sformułowaniu Tw 1 i 11 ja bym dopisał \"poly\" do redukcji z założenia, bo tak jest ciekawiej\r\n"}}