로그인
통찰 - 알고리즘
GVE-Leiden: Fast Leiden Algorithm for Community Detection in Shared Memory Setting
GVE-Leiden은 공유 메모리 환경에서 커뮤니티 탐지를 위한 빠른 Leiden 알고리즘을 제공합니다.
문자열 편집 거리에 따른 문자열 정제: 개선 및 일반화
개인 데이터의 개인 정보 보호와 유틸리티를 유지하면서 문자열을 변환하는 문제를 해결하는 효율적인 알고리즘 개발.
가중 타이밍 게임에서 견고한 최적 전략의 종합
가중 타이밍 게임에서 견고한 최적 전략의 종합
최대 엣지 2-컬러링 근사화를 위한 그래프 정규화
정규화된 그래프에서 최대 엣지 2-컬러링의 색상 수는 3n/4 - ℓ/4를 초과할 수 없습니다.
고유한 쿼틱의 최적 경계
고유한 쿼틱의 수를 결정하는 최적 경계는 O(n² log n)입니다.
Nudge-M Scheduling Algorithm: Tail Optimality and Performance Analysis
Nudge-M 스케줄링 알고리즘은 꼬리 최적성과 성능 분석에 중점을 둡니다.
색이 중요한 경우의 Arborescences와 Shortest Path Trees
색이 중요한 경우의 Arborescences와 Shortest Path Trees를 계산하는 효율적인 알고리즘 소개
MaxSAT 로컬 서치 솔버의 Anytime 성능 분석을 통한 더 나은 이해와 구성
MaxSAT 로컬 서치 솔버의 Anytime 성능을 통해 더 나은 매개변수 설정을 찾을 수 있음.
다중 차원 함수에 대한 비잔틴 적대자에도 확장 가능한 분산 최적화
다중 차원 함수에 대한 분산 최적화 알고리즘의 중요성과 효과적인 해결책 제시
Ka,b-free Max k-Weight SAT: Approximate Kernel
Ka,b-free Max k-Weight SAT의 근사 커널을 제시하고, 실행 시간과 변수 수를 개선함.
