재미있는 TCS 관련 논문 등?

80

가장 재미있는 TCS 관련 출판물은 무엇입니까?

재미 있도록 의도 된 것들만 포함하십시오. (복잡성 이론에 관한 짧은 농담 모음이 아닌) 지능적으로 유머러스하게 제작 된 작품이 선호됩니다. 유머러스 한 (실제로는 유머가 아닌 귀여운) 제목의 작품도 허용됩니다.

답변 당 하나의 작업 만 수행하면 "최고의"작업이 맨 위에 표시됩니다.

reference-request  soft-question  big-list 
— Joshua Grochow
소스
3
재미있는 제목의 논문은 어떻습니까? 아니면 다른 질문이어야합니까?
— Suresh Venkat
4
나는 재미있는 제목이 좋다고 생각합니다. :).
— Joshua Grochow
1
왜 복잡하고 다른 TCS 주제가 아닌가? 책은 어때요? (구체적인 수학을 게시하고 싶습니다 :))
— Kaveh
3
어떤 이유로 mathoverflow.net/questions/44326/most-memorable-titles 는 밀접하게 관련된 스레드입니다.
— RJK
2
@Suresh : 나는 당신이 무슨 뜻 생각 xxx.lanl.gov/abs/1003.6064v1
— 라두 고르

답변:

72

Scott Aaronson의 뉴스 : 다항식 계층 구조 붕괴 : 수천 명의 다루기 힘든

— 조슈아 그로 호프
소스
2
재밌어요 나는 전에 그것을 보지 못했다.
— 데릭 스토리
7
L. Hemachandra의 기술 보고서 ​​인 SKY IS FALLING (강한 지수 계층 구조 축소) 관련 비극적 (또는 재미 있습니까?) 헤드 라인 . 제목에 다음 각주가 첨부되어 있습니다. "Chicken Little은 하늘이 떨어지고 있다고 생각했습니다. 그렇지 않았습니다."
— Alessandro Cosentino
52

화장지 문제 (Donald Knuth, 1984 년 American Mathematical Monthly). 소개에서 :

특정 건물의 화장지 디스펜서는 두 롤의 티슈를 담을 수 있도록 설계되었으며 사람은 두 롤 중 하나를 사용할 수 있습니다. 건물에서 화장실을 사용하는 사람들은 크게 선택자와 작은 선택의 두 종류가 있습니다. 큰 선택자는 항상 현재 큰 롤에서 화장지를 가져옵니다. 작은 선택자는 항상 반대입니다. 그러나 두 롤의 크기가 같거나 하나의 롤만 비어있는 경우 모두가 가장 가까운 비어 있지 않은 롤을 선택합니다. 두 롤이 모두 비어 있으면 모두 문제가 있습니다.
— 기독교
소스
24
아뇨 크 누스는 저를 때렸습니다. 나는 관련이 있고, 더 간단한 질문을 고려했고, 모든 사람들이 협력을 통해 위험을 최소화하기 위해 작은 선택을해야한다고 확신했다. 그래도 결과를 쓸 시간이 없었습니다. 적어도 나는 이전 작품을 작성하여 국제 화장실 이론 회의에 제출하기 전에 알고 기쁘다.
— 이토 쓰요시
5
알고리즘 POV에서 소변기 선택의 문제에서 반 엄격한 외모가 있었다 : blog.xkcd.com/2009/09/02/urinal-protocol-vulnerability
— 앤디 드러커
38

카일 버크와 데이비드 찰튼 아마도 다항식 시간에 대한 하한입니다. Boston University, 2005. (링크에 대한 @arnab 및 웹 아카이브에 감사합니다.)

나는 이것이 만우절의 논문이라고 확신하지만, 어느 쪽이든 그것은 절대적으로 우스운 일입니다. 초록 :

우리는 아마 다항식 시간 계산의 클래스, 즉 우리가 아는 한 다항식 시간으로 끝나는 계산을 도입함으로써 기존 복잡성 이론의 차이를 채 웁니다. NP- 완전 문제에 대한 알고리즘이 다항식 시간에 실행되지 않음을 보여주기 위해이 클래스를 적용합니다.

— 개정 Joshua Grochow
소스
6
알았다! 나는 그것이 기존의 웹 페이지에서 링크 찾을 수없는,하지만 당신은 여기를 검색 할 수 있습니다 web.archive.org/web/20080211140314/http://cs-people.bu.edu/...이
— arnab
3
2002 년 David Charlton과 함께 학부생이었을 때 1995 년이 아니라 2005 년이어야한다고 확신합니다. ;-)
— Mugizi Rwebangira
1
David는 이것을 대학원 학교에서 한 논평에 대한 재미있는 반응으로 썼습니다. 나는 나의 정확한 의견을 기억하지 못하지만 그 논문은 재미있다! : -DI는이 음조에 대한 실제 크레딧을받을 수 없습니다.
— Kyle
30

Andrew W. Appel의 " POP 수학 또는 과학인가? "

이 논문은 CS 회의를 다양하게 다루며 저자가 알파벳 순서 (이론적) 또는 기여 (적용)에 따라 이름을 주문하는지에 따라 이론적이거나 적용되는 것으로 분류하려고합니다.

— 로빈 코타 리
소스
4
"이 보고서에 제시된 연구의 목표는 POPL '92에서 약간의 웃음을 제공하는 것이 었습니다.이 점에서 연구가 완전히 성공했다고 말하게되어 기쁩니다."
— Dave Clarke
나는 이것이 오늘날까지 계속되는 것을보고 싶습니다
— Thomas Ahle
24

여러 장 이브 지라드 의 논문입니다.

그의 Linear Logic 논문은 Theorytical Computer Science 저널의 편집자가 다음과 같은 각주를 가지고 있습니다.

길이와 참신함 때문에이 논문은 일반적인 심판 과정을 거치지 않았다. 편집자는이 작품과 관련하여 표현 될 비판을 저자와 공유 할 준비가되어 있습니다.

또 다른 하나는 로커스 솔룸 (Locus Solum) 입니다. 192 페이지의 용지는 거의 100 페이지에 달하는 부록을 가지고 있는데, 이것은 내가 본 것 중 가장 재미있는 부록 인 " 순수한 종이 낭비 "입니다.

— Kaveh
소스
12
놀랍게도 "순수한 종이 낭비"는 정말 좋습니다. 그가 쓴 것을 순진하게 믿을 수는 없지만 그럼에도 불구하고 거의 모든 농담 / 모욕 / 옆에 숨겨진 논리에 대한 심각한 요점이 있습니다.
— Neel Krishnaswami
3
프랑스어를 사용하는 독자들은 겨자 시계
— gallais
1
불행하게도 세 번째 링크가 끊어짐
— Max
3
@gallais : 실제로 "Mustard 시계"용지의 원본 버전은 영어로되어 있으며 여기 에서 찾을 수 있습니다 .
— Damiano Mazza
1
이것은 주요 답변의 링크에 대한 "수정"입니다 : iml.univ-mrs.fr/~girard/0.pdf
— apnorton
22

Yonatan Bilu, Dana Porrat 및 Yoav Yaffe의 논문 " 저렴한 안전 성 난교에서 콘돔 수 ". 이 논문은 출판되지 않았으므로 요구 사항 중 하나에 해당하지 않습니다 (공개 작품). 그러나 나는 그것이 예외로 여기에 포함될 수 있다고 생각합니다.

— 올렉산드르 본다 렌코
소스
나는 이것이 관련이 있다고 생각한다 : mathworld.wolfram.com/GloveProblem.html
— RJK
4
@Oleksander 다음 "게시"요구 사항이 엄격 의미하지만 만화 스트립, 말, 기사와 책 같은 것을 분리하기 위해 의미되지 않았다 (그렇지 않으면이 스레드가 XKCD 참조로 가득 할 것입니다.)
— 여호수아 Grochow
비슷한 맥락에서 : Grønlund와 Pettie의 3 인조, 퇴보 및 삼각 관계 . 그것은 세밀한 복잡성에서 실제로 심각한 논문이며 제목의 농담이 강요됩니다.
— kinokijuf
20

실제로 재미 있도록 고안된 전체 저널이 있습니다. craptology의 저널 . 주제는 일반적으로 암호화와 관련이 있습니다. 세션 비디오도 있습니다!

한 가지 예는 히치하이커 우주 (섹션 5) 의 암호 4 권 입니다.

오는 매력

우리의 기능 프레젠테이션을 즐겼다면, 같은 저자의 다음 어트랙션에 대해 기뻐할 것입니다.

– 휴먼 인터랙티브 프로토콜 시스템의 암호화. HIPS가 실제로 거짓말을한다는 것을 증명하는 Shakira의 논문에 대한 논란의 여지가있는 암호화 분석.

– 제로 지식. 검증자가 듣고 싶어하는 것을 제외하고는 증명자가 알고있는 모든 것을 공개하는 프로토콜 시스템. 대부분의 고객 헬프 라인 서비스는 임시 영 지식 방지 프로토콜을 개발했습니다.

– 사회적 현상에 기반한 양자 키 분포. 이 백서는 양자 기술을 사용하지만 양자 객체를 사용하지 않고 키를 분배하는 방법을 보여줍니다. 이 프로토콜은 양자 객체를 사용하는 대신 여자와의 첫 저녁 데이트가 날짜로 계산되는지 키를 전송할지 여부에 대한 모든 남성의 불확실성을 사용합니다.

— 개정
소스
17

콘크리트 수학 : Ronald Graham, Donald Knuth 및 Oren Patashnik의 컴퓨터 과학 기반.

재미있는 사이드 노트가 많은 놀라운 책. :) ( DEK 의 GKP 페이지도 참조하십시오.)

— Kaveh
소스
4
부수적 인 메모는 참으로 재미 있지만,이 책은 "즐거운 즐거움"입니다. 물론 모든 사람이 즐거운 책을 쓸 수있는 것은 아닙니다. 나는 책을 너무 좋아한다.
— Anthony Labarre
1
이것은 내가 가장 좋아하는 책이다. 더 많은 작가들이 그들의 형식을 따르지 않은 것에 놀랐습니다.
— Chad Brewbaker
17

FUN : 알고리즘과의 재미에 관한 국제 회의를 추천합니다.

Graham Cormode의 "Lemmings 게임의 경도 또는 더 많은 NP- 완전성 증명"은 내가 가장 좋아하는 것 중 하나라고 말해야합니다.

— 스완 페라 나우
소스
2
지난 주 Powell의 책에서 2007 FUN 절차를 찾았습니다. pessimal sorting과 최악의 페이징 알고리즘에 대한 훌륭한 결과.
— Steven Stadnicki
16

돈 크 누스의 용어 제안 . SIGACT News, 6 (1), 1974. The Complexity Blog에 언급 됨. 여기에서 "NP-complete"및 "NP-hard"라는 용어가 사용됩니다.

이 작품에서 내가 가장 좋아하는 것 중 하나는 우리가 지금 NP-hard 문제라고 부르는 것을 Sas-Satisfiability 또는 Hard-as-S라고 부른다는 Albert Meyer의 제안입니다.

— 조슈아 그로 호프
소스
12

A. Broder, J. Stolfi " Pessimal 알고리즘 및 단순성 분석 ", ACM SIGACT News 16 (3), 1984 년 가을.

이 논문은 "컴퓨터 과학의 완전히 새로운 지사, 꺼리는 알고리즘의 설계 및 분석을 소개합니다. 직관적으로, 문제 P에 대한 꺼리는 알고리즘은 순진한 관찰자를 속이는 데 시간을 낭비하는 것입니다."

— 헤르만 그루버
소스
9

Lamport의 파트 타임 의회 는 분산 컴퓨팅 분야에서 획기적인 발전을 이루었지만 사람들이 이해할 수 없을 정도로 종이가 너무 의도적으로 혼란스러워졌습니다. 내가 아는 한, 출판하기까지 약 10 년이 걸렸습니다 난독 화 된 형태로 결국 램 포트가 함께 따라 단순 Paxos 메이드 다음과 같은 추상적 있었다 : " 일반 영어로 진행하는 경우 Paxos 알고리즘은 매우 간단합니다 ."

— 레프 Reyzin
소스
9

CMU의 전산 이단 협회는 많은 SIGBOVIK 회의 ( 2011 년 4 월 1 일 개최) 에서 발표되었습니다 . 내가 가장 좋아하는 것은 :

3D 객체 획득에 대한 도난 기반 접근 방식.

— 사용자 2333
소스
7

Lamport의 "국가 기반 형식주의의 정제" .

훌륭한 수학자였던 우리의 친구는 환각제를 장기간 남용하여 입원했습니다. 우리는 그에게 그의 방을위한 디지털 시계를 주기로 결정했습니다. 그러나 의사는 시간과 분 표시가 너무 혼란 스러울 수 있다고 제안합니다. 그래서 우리는 선물을 디지털 시간 시계로 바꾸어 분 디스플레이 위에 테이프를 놓았습니다.

— 마커스 리트
소스
6

최근 재미있는 제목 :

  • A. Kehagias, P. Pralat, 경찰 및 취한 강도에 대한 언급 , 이론적 컴퓨터 과학 463 (2012) 133-147, DOI

  • A. Kehagias, D. Mitsche, P. Pralatb, 경찰 및 보이지 않는 강도 : 술 취한 비용 , 이론적 인 컴퓨터 과학 (2013), 언론 보도

  • 나타샤 코마 로프, 피터 윈클, 술취한 강도를 그래프 에 담기 , 2013 년 5 월, arXiv : 1305.4559

— 개정 사용자
소스
5

John Gordon의 저녁 연설 후 Alice와 Bob .

코딩 이론에 대한 가벼운 대화.

— 자가 디쉬
소스
그의 포켓 계산기가 할 수 있다고 주장하는 것이 실제로 현대 스마트 폰에서 가능하다는 것이 재미 있습니다. 3D 홀로그램 디스플레이는 아직 없으며, ADA에서 Android로 컴파일러를 찾기는 힘들지만 그와는 별개입니다.
— AlexC
4

나는 지금 재미있는 종이를 생각할 수 없지만 재미있는 줄을 가진 "정상적인"종이를 기억합니다. 실제로 섹션 1의 첫 번째 문장이었습니다. 저자는 다음과 같이 논문을 시작했습니다.

"우리의 일반적인 관행과는 달리,이 논문을 몇 가지 정의로 시작해야 할 의무가 있다고 생각합니다." 그럼 G ... "

이 논문의 제목은 $beta$1996 년 Markossian, Gasparian 및 Reed의 " 완벽한 그래프"입니다. 실제로 완벽한 그래프 이론에 대한 핵심 논문이므로 베타 퍼펙트 그래프의 클래스로 정의됩니다. 완벽한 그래프와 유사한 방식으로 완전한 클래스 (베타-완벽 그래프는 EVEN- 홀-프리 그래프의 서브 클래스 인 반면, 완벽한 그래프는 ODD- 홀-프리 그래프의 서브 클래스입니다.

— 2 개 수정
소스
"이것은 이론 이야기이기 때문에, 나는 내가 말하고있는 문제를 정의하는 것부터 시작할 것입니다 ..."
— Sariel Har-Peled
3

Lambda the Ultimate는 "인기 Lisp" 에 대한 백서 인 "인기 Lisp" 에 대한 백서를 주목했습니다. ^ _-

— paul.meier
소스
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.