«reference-request» 태그된 질문

나는 유명한 Como90에서 Freyd의 논문 "대수적으로 완전한 범주"를 읽었으며, 그 논문에서 그가 대수적 압축성이라는 개념에 대해 두 가지 질문을했다. (정의에 익숙하지 않은 경우 다음과 같습니다. 모든 endofunctor에 초기 대수와 정식 동형 인 최종 대수학이있는 경우 범주는 대수 콤팩트라고합니다.) 대수적으로 콤팩트 한 카테고리의 예는 무엇입니까? Freyd는 예를 언급하지만 정의의 조건을 엄밀히 …

12 reference-request  type-theory  ct.category-theory 

다음 알고리즘 / 문제에 대한 참고 문헌을 찾고 있습니다. 이름을 "BiSelect"또는 "t-ary Select"또는 "Selected Union of Sorted Arrays"로 지정했지만 이전에 다른 이름으로 소개 된 것 같습니다. 문제 다음 문제를 고려하십시오. 감안 이산 정렬 된 어레이 , 각 크기의 및 정수 는 무엇 그들의 정렬 연합 번째 값 ?kkkA1,…,AkA1,…,AkA_1,\ldots, A_kn1,…,nkn1,…,nkn_1,\ldots,n_kt∈[1..∑ni]t∈[1..∑ni]t\in[1..\sum n_i]ttt …

12 reference-request 

다음 문제가 속하는 복잡성 클래스를 이해하려고합니다. 지수 다항식 근본 문제 (EPRP) 하자 가 수 다항식 ℃에서 ( P ) ≥ 0 유한 필드에서 도출 계수 G F ( Q ) 와 Q 소수와 r에 해당 필드에 대한 프리미티브 루트. :의 솔루션 결정 P ( X ) = R (X) (또는 …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd 대한 Zoo 항목TC0TC0\mathsf{TC^0} 은 깊이 2와 3 사이의 분리 만 언급합니다. 계층 구조가 붕괴되지 않는다는 사실에 대한 표준 참조도 있습니까?AC0dACd0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

현재 정규 언어 이상이지만 컨텍스트가없는 언어 클래스가 포함 된 일부 공식 언어 연구를하고 있습니다. 리버스 바운드 멀티 카운터 머신, 단일 스택 카운터 머신, 결정적 CFL 등을보고 있습니다. 이 언어의 속성을 설명하는 좋은 책이나 설문지를 아는 사람이 있는지 궁금합니다. 내가보고있는 대부분의 내용은 Hopcroft-Ullman 서적 (1979 년판)에 속하기에는 너무 모호하거나 너무 새롭습니다. …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

심플 렉스 알고리즘은 종종 실제 산술 또는 정확한 계산으로 이산 세계에서 처리됩니다. 그러나 부동 소수점 산술로 가장 자주 구현되는 것 같습니다. 이것은 단순 알고리즘을 수치 알고리즘으로 간주해야하는지, 특히 반올림 오류가 계산에 어떤 영향을 미치는지에 대한 의문을 야기합니다. 나는 실제적인 구현에 관심이없고 이론적 인 기초에 관심이있다. 이 문제에 대한 연구를 알고 …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

부분 주문 모음이 제공되는 경우, 토폴로지 정렬은 전체 주문에 대한 모음 확장이 있는지 알려줍니다 (이 경우 확장은 각 부분 주문과 일치하는 총 주문입니다). 나는 변형을 보았습니다. 세트 수정하십시오 . 반복없이 V 에서 그린 요소의 시퀀스 σ 1 , … σ k 가 주어집니다 (시퀀스 길이는 1과 | V | 사이입니다 …

12 ds.algorithms  reference-request  order-theory 

MPA (multipebble 오토 마톤)는 2DFA 실제로 최대 자갈 (임의의 개수를 사용할 수있다 (양방향 결정적 유한 오토 마톤을)은 주어진 입력 자갈 승 - 입력은 두 개의 단부 사이에서 테이프에 기록된다 - # w # )로 표시됩니다. 계산 중에 MPA는 헤드 아래의 심볼에 조약돌이 있는지 여부를 감지 한 다음 조약돌 (조약돌)이 없으면 …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

누군가가 이것에 대한 참조를 알고 있기를 바랍니다. 그래서 나는 문학을 읽을 필요가 없습니다 ... 일련의 숫자 고려하십시오 . 같은 순서 생각해 N - 1 개 간격 [ X 1 , X 2 ] , [ X 2 , X 3 ] , ... , [ X N - 1 , …

12 ds.algorithms  reference-request  sorting 

고유 한 SAT는 잘 알려진 문제입니다. CNF 공식 주어지면 F 에 정확히 하나의 모형이 있다는 것이 사실 입니까?FFFFFF « 정확한 SAT»문제에 관심이 있습니다 : CNF 공식 F 와 정수 m > 1이 주어지면 F 가 정확히 m 개의 모형을 가지고 있다는 것이 사실 입니까?mmmFFFm>1m>1m>1FFFmmm 두 문제는 비슷해 보입니다. 그래서 내 …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

경우 최대도 3 그래프 및 미성년자 H 다음 G는 의 위상 미성년자 H .지GGHHH지GGHHH Wikipedia는이 결과를 Diestel의 "Graph Theory"에서 인용합니다. 이 책은 최신 버전의 책에 Prop 1.7.4로 표시되어 있습니다. 이 책에는 증거 나 인용이 없습니다. 이것에 대한 (원래) 증거로 알려진 소재가 있습니까? 또한, 가 클로의 경로 또는 세분이고 H 의 …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

우리는 Kolmogorov 문자열 복잡성을 xxx가장 짧은 프로그램 의 길이로 생각 하고 x = P ( y )가 되도록 y를PPP 입력 할 수 있습니다. 일반적으로 이러한 프로그램은 일부 Turing-complete 세트에서 가져옵니다 ( P 는 Turing 머신에 대한 설명이거나 LISP 또는 C의 프로그램 일 수 있음). 리소스가 제한된 콜로 모고 로프 (Colmogorov) …

12 reference-request  computability  kolmogorov-complexity 

다양한 프로그래밍 언어 기능의 의미에 대한 설문 조사 (서류, 서적, 튜토리얼, 링크 등)가 있습니까? 나는 원래 http://www.digitalmars.com/d/2.0/comparison.html 에서 D의 기능에 압도되었습니다 . stackoverflow에 대해 비슷한 질문을 하고이 두 사이트가 다른 관점을 가지고 있음을 이해 했지만 여기에서 얻을 수있는 것을보고 싶습니다 . 답장을 보내 주셔서 감사합니다! 메타에 대한 그의 제안에 대해 …

12 reference-request  pl.programming-languages  survey 

병목 최단 경로에 대한 좋은 참조를 찾고 있습니다. 특히 가장자리 가중치가있는 무 방향 그래프에서 꼭짓점 s와 t가 주어지면 s에서 t까지의 최단 경로를 원합니다. 여기서 경로 길이는 해당 경로의 최대 가장자리입니다. 이것은 중간 가장자리 무게를 찾아서 조심스럽게 가장자리 절반을 재귀 적으로 삭제함으로써 O (n + m) 시간 안에 해결 될 수 …

12 ds.algorithms  reference-request  graph-algorithms 

다음 문제에 대해 알려진 것은 무엇입니까? 수집 주어 함수 F : { 0 , 1 } N → { 0 , 1 } , 가장 큰 하위 컬렉션 찾을 S ⊆ C의 제약에 따라 그런 VC-치수 ( S ) ≤ K 어떤 정수에 대한 K .씨CC에프: { 0 , 1 …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension