«reference-request» 태그된 질문

Girard 's Proofs and Types에서 읽을 수있는 내용은 다음과 같습니다. 알고리즘 적 관점에서 볼 때, 연속적인 미적분학은 동일한 증거를 작성하는 다양한 방법으로 인해 Curry-Howard 동형이 없습니다. 이것은 우리가 그것을 타이핑 된 것으로 사용하지 못하게합니다.λλ\lambda미적분학, 비록 우리는 이런 종류의 깊은 구조를 엿볼 수 있지만 아마도 병렬성과 관련이 있습니다. 증거 및 유형 …

9 reference-request  logic  parallel-computing 

나는 이것을 MathUnderflow에 게시했지만 답변을 얻지 못했기 때문에 여기에서 시도해 보았습니다. 나는 무엇보다도 Presburger 산술의 이중 지수 복잡성이 입증 된 Rabin과 Fischer의 오래된 논문 [가능한 경우 링크를 게시 할 것]을 읽고 있습니다. 이 증거 는 과 함께 " "을 비공식적으로 주장 하는 공식 의 존재에 의존합니다. . 이 공식의 구성은 …

9 complexity-theory  reference-request  logic 

간단한 폴리곤의 삼각 측량 (스타 인 포인트없이) PPP이 삼각 분할의 이중을 고려할 수 있는데 이는 다음과 같이 정의됩니다. 삼각 분할의 모든 삼각형에 대해 꼭짓점을 만들고 해당 삼각형이 모서리를 공유하면 두 개의 꼭짓점을 연결합니다. 이중 그래프는 최대 차수가 3 인 나무로 알려져 있습니다. 본인의 신청에는 다음에 관심이 있습니다. 주어진 나무TTT 최대 …

9 reference-request  computational-geometry 

몇 가지 가능한 설명을 들었으므로 신뢰할 수있는 참조를 원합니다. 05.19 업데이트 : 내 학생 중 한 명이 자신의 논문에서 그 이름이 아래 설명 (1)에서 유래했기 때문에이 질문에 관심이 있습니다. 지금까지 나는 그것이 설명 (2)에서 온 것이라고 생각 / 들었다. 나는 그의 논문에서 잘못된 것을 내버려두고 그것이 옳다면 그것을 제거하라고 말하는 …

9 terminology  reference-request  history 

최근 질문에 대한 @Babou의 대답 은 한 번에 데이터 흐름 분석 의 동등성 (추론되거나 입증 될 수있는 사실과 추론 알고리즘을 실행하는 시간 복잡성)에 관한 논문을 읽은 것으로 생각 합니다. , 추상 해석 및 형식 유추 . 일부 하위 사례 (정방향 상황에 따른 절차 간 데이터 흐름 분석과 추상 해석 등)에서 …

9 reference-request  compilers  type-inference  program-optimization 

이 질문은 확률 이론과 계산 복잡성의 교차점에 관한 것입니다. 하나의 주요 관찰은 일부 분포는 다른 분포보다 생성하기가 쉽다는 것입니다. 예를 들어, 문제 숫자 주어지면 균일하게 분포 된 숫자 를 반환합니다 .nnniii0≤i&lt;n0≤i&lt;n0 \leq i < n 해결하기 쉽습니다. 한편, 다음의 문제는 훨씬 어렵거나 어려운 것으로 보인다. 숫자 주어 숫자 리턴 되도록 …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

다음 문제를보고 있습니다. 주어진 n엔n차원 자연수들의 벡터 일부 입력 벡터 이며, 의 선형 조합 '자연수 계수 s에서?v1,…,vmV1,…,V미디엄v_1, \ldots, v_mu유uu유uviV나는v_i 즉 이 있습니까? 여기서 ?t1,…,tm∈N티1,…,티미디엄∈엔t_1, \ldots, t_m \in \mathbb{N}유=t1V1+ ⋯+티미디엄V미디엄유=티1V1+⋯+티미디엄V미디엄u = t_1 v_1 + \dots + t_m v_m 이 문제의 실수 버전은 가우시안 제거를 사용하여 해결할 수 있습니다. 궁금합니다.이 문제의 정수 …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

알파벳 \ Sigma 위 의 공식 언어 은 \ Sigma ^ * 의 하위 집합, 즉 해당 알파벳 위에있는 단어 집합입니다. 대응하는 세트가 L \ cup L '의 서브 세트와 확장 적으로 동일하면 두 개의 공식 언어 L 과 L' 는 같습니다 . 복잡한 이론에서 언어를 사용 하여 "문제"의 개념 …

9 complexity-theory  formal-languages  reference-request 

최근 에 Math SE에 대해 질문 했습니다. 아직 응답이 없습니다. 이 질문은 그 질문과 관련이 있지만 컴퓨터 과학에 대한 더 많은 기술적 세부 사항입니다. 두 개의 DFA가 주어짐 A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) 과 B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) 여기서 상태 집합, 입력 알파벳 및 전환 …

9 formal-languages  reference-request  finite-automata 

이 부분 집합 합계 문제는 쉽게 / 알려져 있습니까? 주어진 정수 mmm, 양의 정수 집합으로 모든A={x1,x2,...,xn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\}xixix_i 가 최대를k=2k=2k=2 비트로 설정 111 (xi=2bi1+2bi2,bi1,bi2≥0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0); 서브 세트가 있습니까A′⊆AA′⊆AA' \subseteq A 요소의 합이 같도록 mmm ? 그것은이다 PP\sf{P}? 아직도 그래요NPNP\sf{NP}-완전한? 그리고 모든 경우 xixix_i 기껏해야 …

9 complexity-theory  reference-request  decision-problem 

소프트웨어 검증에 대한 다른 접근 방식을 스스로 가르치려고합니다. 몇 가지 기사를 읽었습니다. 내가 아는 한, 시간이있는 제안 논리는 일반적으로 SAT 솔버와 함께 모델 검사를 사용합니다 (진행중인 시스템에서) 시간이있는 1 차 논리는 ​​어떻습니까? 정리 프로 버를 사용합니까? 아니면 SAT도 사용할 수 있습니까? 이 문제에서 초보자를위한 책이나 기사에 대한 조언은 대단히 높이 …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

문제 세트가있는 웹 리소스를 배우는 훌륭한 이산 수학이 있습니까?

9 reference-request  education  discrete-mathematics 

유한 한 오토마타에서는 모든 바이러스를 감지 할 수있는 알고리즘이 없지만 안티 바이러스 소프트웨어를 판매하는 많은 소프트웨어 회사가 있음을 보여주는 것은 사소한 연습입니다. 바이러스 및 바이러스 백신을 다루는 CS의 일부가 있습니까? 추신 : 나는 AV와 관련하여 비 CS 관련 타당성에 대해 묻지 않고 CS 내에서 어떤 범주 / 주제 만 제공하는지 …

9 reference-request  security 

SVM 외에 어떤 기계 학습 알고리즘이 구조적 위험 최소화 원칙을 사용 합니까?

9 reference-request  machine-learning