이론 컴퓨터 과학

배리 제이는 자신의 저서 에서 대담한 주장을한다. 기본적으로 프로그램의 핵심에서 모든 것이 원자 적이거나 구성되었다고 말함으로써. 그런 다음이 컴포지션 관계를 탐색하여 쉽게 반복, 필터링, 업데이트 할 수 있습니다. 이것이 컴퓨터 언어에 대한 컴퓨터 과학 의 새로운 개척 인가? 아니면 우리는 다시 LISP로 돌아가고 있는가?

11 fl.formal-languages 

단순한 무 방향 그래프 G가 주어지면 G가 사소하지 않은 (동일하지 않은)자가 변형인지 여부를 결정하는 것은 사소한 것이 아닙니다. 그러나이 결정 문제의 상한 / 하한에 대한 결과는 무엇입니까?

11 cc.complexity-theory  graph-isomorphism  automorphism 

나는 Nielsen-Chuang 책에서 일반적으로 양자 계산에 대해 (독립적으로) 배우기 시작했습니다. 나는 양자 역학의 측정 ​​가정에 무슨 일이 일어나고 있는지 나를 도울 시간을 찾을 수 있는지 물어보고 싶었다. 나는 가정에 의문을 제기하지 않고있다. 측정 후 시스템 상태의 값이 나오는 방법을 는 것 입니다.Mm/&lt;ψ|M+mMm|ψ&gt;−−−−−−−−−−−−−−√Mm/&lt;ψ|Mm+Mm|ψ&gt;M_m/\sqrt{ <\psi|M_m^+ M_m|\psi> } 그 가정이 말한 것처럼 보이지만, …

11 quantum-computing  quantum-information 

유 방향 그래프 , 에서 가 DAG (directed acyclic graph)이면 를 피드백 아크 세트라고합니다. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)에프⊂ 전자F⊂EF\subset EG ∖ FG∖FG\setminus F에프FF 각 에지가 가중치 와 연관된 경우 , 최소 비용 피드백 아크 세트 문제는 가 최소가 되도록 를 찾는 것이다 .F …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Johnson-Lindenstrauss의 정리는 대략 에있는 점 의 모음 에 대해 맵 가 존재 한다고 말합니다 여기서 모든 : 측정 항목에 대해 유사한 문장을 사용할 수는 없지만 , 더 값으로 있는 방법이 알려져 있습니다 더 약한 보증을 제공함으로써 한계? 예를 들어, 대해 위의 보조 정리 버전이있을 수 있습니다n R d f : …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

특히 모델 확인 응용 프로그램에서의 사용에 관심이 있습니다. Baskett et al.에 의해 서로 다른 클래스의 고객을 가진 개방형, 폐쇄 형 및 혼합형 큐 네트워크가 있습니다. 자료 읽기에 대한 다른 제안? 감사.

11 reference-request  markov-chains  queueing-theory  model-checking 

NP 정의에 대한 두 가지 변형이 있습니다. 그것들은 (거의 확실하게) 뚜렷한 복잡성 클래스를 정의하지만 내 질문은 :이 클래스에 맞는 문제의 자연스러운 예가 있습니까? (여기서 자연스러워하는 것에 대한 나의 임계치는 평소보다 약간 낮습니다.) 클래스 1 (NP의 수퍼 클래스) : 검증에 초 다항식이지만 지수하에 시간이 걸리는 다항식 증인 문제. 구체적으로 time 이라고합시다 …

11 cc.complexity-theory  complexity-classes  np 

안전하지 않은 소프트웨어를 생각할 때 소프트웨어가 너무 유용하여 공격자에게 악용 될 수 있다고 생각합니다. 따라서 소프트웨어 보안은 소프트웨어를 덜 유용하게 만드는 프로세스입니다. 이론적 컴퓨터 과학에서는 실제 세계와 협력하고 있지 않습니다. 순수한 이론으로 작업 할 때 보안 문제가 있습니까? 또는 동전의 다른 쪽, 이론적 컴퓨터 과학은 해킹당하는 사람들의 실제 세계에 영향을 …

11 cr.crypto-security  big-picture 

P 대 NP 문제에 관한 Stephen Cook의 논문에서, 그는 다음과 같이 기술한다. 타당성 이론 : 자연 문제는 다항식 시간 알고리즘을 사용하는 경우 실현 가능한 알고리즘을 갖습니다. 내 질문은, 그가 " 자연적인 문제"란 무엇을 의미 하는가? 자연스런 문제에 대해 이야기하는 것은 충분히 일반적인 것처럼 보이지만 아직 정의를 찾지 못했습니다. 뭔가 빠진 …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

복잡성 이론에서 시간과 공간 복잡성의 정의는 보편적 인 튜링 머신을 의미합니다. 중지하기 전의 단계 수 및 테이프의 셀 수 교회 튜링 논문을 고려할 때 람다 미적분학의 관점에서 복잡성을 정의하는 것도 가능해야합니다. 내 직관적 개념은 시간 복잡도를 β- 환원 수로 표현할 수 있다는 것입니다 (De Brujin 지수를 사용하여 α 변환을 멀리 …

11 time-complexity  lambda-calculus 

두 그룹 과 는 에서 로 동형이 존재하는 경우 이형 적이라고 말합니다 . 그룹 동형 문제는 다음과 같습니다. 두 그룹이 주어지면 동형인지 여부를 확인하십시오. 그룹을 입력하는 방법에는 여러 가지가 있으며, 주로 사용되는 두 가지 방법은 Cayley 테이블과 생성 세트입니다. 여기에서는 입력 그룹이 Cayley 테이블에 의해 제공된다고 가정합니다. 더 공식적으로 :(G,⋅)(G,⋅)(G,\cdot)(H,×)(H,×)(H, …

11 ds.algorithms  gr.group-theory 

VC 치수 d 를 갖는 개념 클래스 대해, O ( d) 를 얻기에 충분 하다는 것이 잘 알려져있다.CC\mathcal{C}dddO(dεlog1ε)O(dεlog⁡1ε)O\left(\frac{d}{\varepsilon}\log\frac{1}{\varepsilon}\right)PAC에 ε )레이블이 붙은 예는배운다CC\mathcal{C}. PAC 학습 알고리즘 (이러한 많은 샘플을 사용하는)이 올바른지 또는 부적절한 지 확실하지 않습니까? Anthony와 Biggs뿐만 아니라 Kearns와 Vazirani의 교과서에는 PAC 학습 알고리즘이 부적절한 것처럼 보입니다 (즉, 출력 가설이있지 …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Cohen / Baire 범주의 의미에서 지지G 일반적인 오라클 이라고하자 . 보자 아르 자형아르 자형R 임의의 오라클합니다. 이 복잡성 클래스 A와 B가 함께있는 또는 다른 방법으로, ㅏ지= B지과ㅏ아르 자형≠ B아르 자형ㅏ지=비지과ㅏ아르 자형≠비아르 자형\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^Rㅏ지≠ B지과ㅏ아르 자형= B아르 자형?ㅏ지≠비지과ㅏ아르 자형=비아르 자형?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} 이 질문은 Scott Aaronson의 의견 에서 영감을 얻었습니다 .

11 cc.complexity-theory  complexity-classes 

나는 몇 년 동안 프로그래밍을 해왔지만 이론적 인 CS에는 익숙하지 않습니다. 나는 최근에 프로그래밍 언어를 연구하려고 노력했으며 그 일부로 유형 검사 및 추론을 시도했습니다. 내 질문은 프로그래밍 언어에 대한 형식 유추 및 검사 프로그램을 작성하려고하는데 형식 검사기가 작동한다는 것을 증명하고 싶다면 내가 찾고있는 증거는 정확히 무엇입니까? 평범한 언어로, 유형 검사기가 …

11 coq  type-inference  proof-assistants 

소셜 네트워크의 조합 속성에 그래프로 관심이 있습니다. 사람들은 도의 분포, 군집 계수 및 이러한 그래프의 압축성과 같은 것을 살펴 보았습니다. 기본적인 질문 중 하나는 다음과 같습니다.이 그래프는 일반적으로 좋은 확장 그래프입니까? 페이스 북 그래프의 스펙트럼 갭을 확인한 사람이 있습니까? 아니면 다른 대규모 실제 네트워크의 스펙트럼 격차? 나는 누군가가이 주제에 대해 …

11 graph-theory  application-of-theory  expanders