首页>外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >2018年第23期

LIPIcs : Leibniz International Proceedings in Informatics

中文名称：LIPIcs：莱布尼兹国际信息学论文集

ISSN：1868-8969
出版周期：-

发文量：8057

期刊论文

热门论文

年度选择

2020
- 第2期
- 第30期
2019
- 第1期
- 第2期
- 第4期
- 第29期
- 第2015期
2018
- 第1期
- 第2期
- 第4期
- 第23期
- 第28期
- 第29期
- 第30期
- 第2015期
2017
- 第1期
- 第2期
- 第4期
- 第23期
- 第29期
- 第30期
2016
- 第1期
- 第2期
- 第4期
- 第29期
- 第30期
2015
- 第1期
- 第2期
- 第4期
- 第29期
- 第30期
2014
- 第1期
- 第2期
- 第4期
- 第29期
2013
- 第1期
- 第2期
- 第4期
- 第29期
2012
- 第1期
- 第2期
- 第4期
- 第30期
2011
2010
- 第1期
- 第2期
- 第29期
- 第30期
2009
- 第1期
- 第2期
- 第29期
2008
- 第2期
- 第29期

更多>>

全选（0）

共100条结果

1.On The Hardness of Approximate and Exact (Bichromatic) Maximum Inner Product

机译：关于近似和精确（双色）最大内积的硬度
- 作者：Lijie Chen
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Maximum Inner ProductSETHHardness of Approximation in PFined-Grained ComplexityHopcroft's ProblemChinese Remainder Theorem;
2.Reordering Rule Makes OBDD Proof Systems Stronger

机译：重新排序规则使OBDD证明系统更强大
- 作者：Sam Buss;Dmitry Itsykson;Alexander Knop;Dmitry Sokolov
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Proof complexityOBDDTseitin formulasthe Clique-Coloring principlelifting theorems;
3.New Hardness Results for the Permanent Using Linear Optics

机译：永久使用线性光学的新硬度结果
- 作者：Daniel Grier;Luke Schaeffer
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- PermanentLinear optics#P-hardnessOrthogonal matrices;
4.The Parameterized Hardness of the k-Center Problem in Transportation Networks

机译：交通网络中k中心问题的参数化硬度
- 作者：Andreas Emil Feldmann;D{}niel Marx
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- k-centerparameterized complexityplanar graphsdoubling dimensionhighway dimensiontreewidth;
5.Local Limits of Large Galton-Watson Trees Rerooted at a Random Vertex

机译：在随机顶点重生的大型高尔顿-沃森树的局部极限
- 作者：Benedikt Stufler
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Galton-Watson treeslocal weak limits;
6.Safe Transferable Regions

机译：安全可转移区域
- 作者：Gowtham Kaki;G. Ramalingam
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Memory SafetyFormal MethodsType SystemType InferenceRegionsFeatherweight Java;
7.Sparsity - an Algorithmic Perspective (Invited Paper)

机译：稀疏性-算法角度（特邀论文）
- 作者：Jaroslav Nesetril
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- sparse structuresalgorithm design;
8.Non-Uniform Replication

机译：非统一复制
- 作者：Gon{c{c}}alo Cabrita;Nuno Pregui{c{c}}a
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Non-uniform ReplicationPartial ReplicationReplicated Data TypesEventual Consistency;
9.Quasipolynomial Representation of Transversal Matroids with Applications in Parameterized Complexity

机译：横向拟阵的拟多项式表示及其在参数化复杂度中的应用
- 作者：Daniel Lokshtanov;Pranabendu Misra;Fahad Panolan;Saket Saurabh;Meirav Zehavi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- travserval matroidmatroid representationunion representationrepresentative set;
10.Approximate Clustering with Same-Cluster Queries

机译：具有相同集群查询的近似集群
- 作者：Nir Ailon;Anup Bhattacharya;Ragesh Jaiswal;Amit Kumar
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- k-meanssemi-supervised learningquery bounds;
11.Efficient Batch Verification for UP

机译：UP的高效批量验证
- 作者：Omer Reingold;Guy N. Rothblum;Ron D. Rothblum
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Interactive ProofBatch VerificationUnique Solution;
12.Improved Bounds for Guarding Plane Graphs with Edges

机译：用于保护带边平面图的改进边界
- 作者：Ahmad Biniaz;Prosenjit Bose;Aur{e}lien Ooms;Sander Verdonschot
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- edge guardsgraph coloringfour-color theorem;
13.Tracks from hell - when finding a proof may be easier than checking it

机译：从地狱追踪-查找证明可能比检查证明容易
- 作者：Matteo Almanza;Stefano Leucci;Alessandro Panconesi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- puzzle gamessolitaire gamesTrainyardverification;
14.Approximating Maximum Diameter-Bounded Subgraph in Unit Disk Graphs

机译：近似单位圆图中的最大直径有界子图
- 作者：A. Karim Abu-Affash;Paz Carmi;Anil Maheshwari;Pat Morin;Michiel Smid;Shakhar Smorodinsky
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Approximation algorithmsmaximum diameter-bounded subgraphunit disk graphsfractional Helly theoremVC-dimension;
15.Inversions in Split Trees and Conditional Galton-Watson Trees

机译：分裂树和条件高尔顿-沃森树中的反演
- 作者：Xing Shi Cai;Cecilia Holmgren;Svante Janson;Tony Johansson;Fiona Skerman
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- inversionsrandom treessplit treesGalton-Watson treespermutationcumulant;
16.Probability Theory from a Programming Perspective (Invited Paper)

机译：从编程角度看概率论（特邀论文）
- 作者：Sam Staton
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- correctnesscomplexitystatistics;
17.Union of Hypercubes and 3D Minkowski Sums with Random Sizes

机译：超立方体联合和具有随机大小的3D Minkowski和
- 作者：Pankaj K. Agarwal;Haim Kaplan;Micha Sharir
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Computational geometryMinkowski sumsAxis-parallel cubesUnion of geometric objectsObjects with random sizes;
18.Geodesic Obstacle Representation of Graphs

机译：图的测地线障碍表示
- 作者：Prosenjit Bose;Paz Carmi;Vida Dujmovic;Saeed Mehrabi;Fabrizio Montecchiani;Pat Morin;Luis Fernando Schultz Xavier da Silveira
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Obstacle representationGrid obstacle representationGeodesic obstacle representation;
19.Improving the Upper Bound on the Length of the Shortest Reset Word

机译：改善最短复位字长度的上限
- 作者：Marek Szykula
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- avoiding wordCerny conjecturereset lengthreset thresholdreset wordsynchronizing automatonsynchronizing word;
20.On Symbolic Heaps Modulo Permission Theories

机译：论符号堆模态许可理论
- 作者：St{e}phane Demri;Etienne Lozes;Denis Lugiez
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- separation logicentailmentpermissionreasoning modulo theories;
21.On the Maximum Colorful Arborescence Problem and Color Hierarchy Graph Structure

机译：关于最大彩色树状图问题和颜色层次图结构
- 作者：Guillaume Fertin;Julien Fradin;Christian Komusiewicz
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Subgraph problemcomputational complexityalgorithmsfixed-parameter tractabilitykernelization;
22.Linear-Time Algorithm for Long LCF with k Mismatches

机译：具有k个不匹配的长LCF的线性时间算法
- 作者：Panagiotis Charalampopoulos;Maxime Crochemore;Costas S. Iliopoulos;Tomasz Kociumaka;Solon P. Pissis;Jakub Radoszewski;Wojciech Rytter;Tomasz Walen
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- longest common factorlongest common substringHamming distanceheavy-light decompositiondifference cover;
23.Multi-Level Steiner Trees

机译：多级斯坦纳树
- 作者：Reyan Ahmed;Patrizio Angelini;Faryad Darabi Sahneh;Alon Efrat;David Glickenstein;Martin Gronemann;Niklas Heinsohn;Stephen G. Kobourov;Richard Spence;Joseph Watkins;Alexander Wolff
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Approximation algorithmSteiner treemulti-level graph representation;
24.Finding Hamiltonian Cycle in Graphs of Bounded Treewidth: Experimental Evaluation

机译：在有界树宽图中找到哈密顿环：实验评估
- 作者：Michal Ziobro;Marcin Pilipczuk
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Empirical Evaluation of AlgorithmsTreewidthHamiltonian Cycle;
25.Worst-Case to Average Case Reductions for the Distance to a Code

机译：到代码距离的最坏情况到平均情况减少
- 作者：Eli Ben-Sasson;Swastik Kopparty;Shubhangi Saraf
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Proximity testingReed-Solomon codesalgebraic coding complexity;
26.Flip Distance to some Plane Configurations

机译：翻转距离到某些平面配置
- 作者：Ahmad Biniaz;Anil Maheshwari;Michiel Smid
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- flip distancenon-crossing edgesperfect matchingsspanning trees;
27.Parameterized Aspects of Strong Subgraph Closure

机译：子图强闭合的参数化方面
- 作者：Petr A. Golovach;Pinar Heggernes;Athanasios L. Konstantinidis;Paloma T. Lima;Charis Papadopoulos
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Strong triadic closureParameterized complexityForbidden subgraphs;
28.Vietoris-Rips and Cech Complexes of Metric Gluings

机译：胶粘剂的Vietoris-Rips和Cech复合物
- 作者：Michal Adamaszek;Henry Adams;Ellen Gasparovic;Maria Gommel;Emilie Purvine;Radmila Sazdanovic;Bei Wang;Yusu Wang;Lori Ziegelmeier
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Vietoris-Rips and Cech complexesmetric space gluings and wedge sumsmetric graphspersistent homology;
29.O~(n^{1/3})-Space Algorithm for the Grid Graph Reachability Problem

机译：网格图可达性问题的O〜（n ^ {1/3}）-空间算法
- 作者：Ryo Ashida;Kotaro Nakagawa
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- graph reachabilitygrid graphgraph algorithmsublinear space algorithm;
30.The Genus of the Erd?s-Rényi Random Graph and the Fragile Genus Property

机译：Erd？s-Rényi随机图的属和易碎属的性质
- 作者：Chris Dowden;Mihyun Kang;Michael Krivelevich
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Random graphsGenusFragile genus;
31.ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions

机译：ContextWorkflow：用于可补偿和可中断执行的Monadic DSL
- 作者：Hiroaki Inoue;Tomoyuki Aotani;Atsushi Igarashi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- workflowasynchronous exceptioncheckpointmonadembedded domain specific language;
32.Challenges in Quantum Programming Languages (Invited Talk)

机译：量子编程语言的挑战（特邀演讲）
- 作者：Peter Selinger
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Quantum programming languages;
33.New Approximation Algorithms for (1,2)-TSP

机译：（1,2）-TSP的新近似算法
- 作者：Anna Adamaszek;Matthias Mnich;Katarzyna Paluch
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Approximation algorithmstraveling salesperson problemcycle cover;
34.Small Bias Requires Large Formulas

机译：小偏差需要大公式
- 作者：Andrej Bogdanov
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- formula lower boundsnatural proofspseudorandomness;
35.Non-Adaptive Data Structure Bounds for Dynamic Predecessor

机译：动态前身的非自适应数据结构界限
- 作者：Joseph Boninger;Joshua Brody;Owen Kephart
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- dynamic data structureslower boundspredecessor searchnon-adaptivity;
36.On Hashing-Based Approaches to Approximate DNF-Counting

机译：基于散列的近似DNF计数方法
- 作者：Kuldeep S. Meel;Aditya A. Shrotri;Moshe Y. Vardi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Model CountingApproximationDNFHash Functions;
37.Finding Connected Secluded Subgraphs

机译：查找连接的偏僻的子图
- 作者：Petr A. Golovach;Pinar Heggernes;Paloma T. Lima;Pedro Montealegre
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Secluded subgraphforbidden subgraphsparameterized complexity;
38.Pi-Ware: Hardware Description and Verification in Agda

机译：Pi-Ware：Agda中的硬件描述和验证
- 作者：Jo{~a}o Paulo Pizani Flor;Wouter Swierstra;Yorick Sijsling
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- dependently typed programmingAgdaEDSLhardware description languagesfunctional programming;
39.An Ambiguous Coding Scheme for Selective Encryption of High Entropy Volumes

机译：高熵量选择性加密的歧义编码方案
- 作者：M. Oguzhan K{u}lekci
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Non-prefix-free codesselective encryptionmassive data securitymultimedia data securityhigh-entropy data securitysource codingsecurity in r;
40.Sampling-Based Motion Planning: From Intelligent CAD to Crowd Simulation to Protein Folding (Invited Talk)

机译：基于采样的运动计划：从智能CAD到人群模拟再到蛋白质折叠（特邀演讲）
- 作者：Nancy M. Amato
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- motion planningprobabilistic roadmap;
41.Nearly Optimal Separation Between Partially and Fully Retroactive Data Structures

机译：部分追溯数据结构和完全追溯数据结构之间的最佳分离
- 作者：Lijie Chen;Erik D. Demaine;Yuzhou Gu;Virginia Vassilevska Williams;Yinzhan Xu;Yuancheng Yu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- retroactive data structureconditional lower bound;
42.Mind the Gap (Invited Paper)

机译：注意差距（特邀论文）
- 作者：Mart{i}n Farach-Colton
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- library sortItalian islandpacked memory arraysweight balanced treesItalians know how to throw a conference;
43.How long does it take for all users in a social network to choose their communities?

机译：社交网络中的所有用户选择他们的社区需要多长时间？
- 作者：Jean-Claude Bermond;Augustin Chaintreau;Guillaume Ducoffe;Dorian Mazauric
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- communitiessocial networksinteger partitionscoloring gamesgraphs;
44.Herugolf and Makaro are NP-complete

机译：Herugolf和Makaro是NP完全的
- 作者：Chuzo Iwamoto;Masato Haruishi;Tatsuaki Ibusuki
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- HerugolfMakaropencil puzzleNP-complete;
45.Consistent Distributed Memory Services: Resilience and Efficiency (Invited Paper)

机译：一致的分布式内存服务：弹性和效率（特邀论文）
- 作者：Theophanis Hadjistasi;Alexander A. Schwarzmann
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Atomicityshared-memoryread/write objectsfault-tolerancelatency;
46.Broadcasting in an Unreliable SINR Model

机译：以不可靠的SINR模型进行广播
- 作者：Fabian Kuhn;Philipp Schneider
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- radio networkswireless networksbroadcastSINR modelunreliable communicationdynamic networks;
47.Graph Clustering using Effective Resistance

机译：使用有效阻力进行图聚类
- 作者：Vedat Levi Alev;Nima Anari;Lap Chi Lau;Shayan Oveis Gharan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Electrical FlowsEffective ResistanceConductanceGraph Partitioning;
48.Lattice-based Locality Sensitive Hashing is Optimal

机译：基于格的局部敏感哈希是最佳的
- 作者：Karthekeyan Chandrasekaran;Daniel Dadush;Venkata Gandikota;Elena Grigorescu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Locality Sensitive HashingApproximate Nearest Neighbor SearchRandom Lattices;
49.Generalized Kakeya Sets for Polynomial Evaluation and Faster Computation of Fermionants

机译：用于多项式评估和快速计算费米子的广义Kakeya集
- 作者：Andreas Bj{o}rklund;Petteri Kaski;Ryan Williams
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Besicovitch setfermionantfinite fieldfinite vector spaceHamiltonian cyclehomogeneous polynomialKakeya setpermanentpolynomial evaluatio;
50.Towards a Cubical Type Theory without an Interval

机译：走向没有间隔的立方型理论
- 作者：Thorsten Altenkirch;Ambrus Kaposi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- homotopy type theoryparametricityunivalence;
51.Hardness Amplification for Non-Commutative Arithmetic Circuits

机译：非交换算术电路的硬度放大
- 作者：Marco L. Carmosino;Russell Impagliazzo;Shachar Lovett;Ivan Mihajlin
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- arithmetic circuitshardness amplificationcircuit lower boundsnon-commutative computation;
52.Succinct Dynamic One-Dimensional Point Reporting

机译：简洁的动态一维点报告
- 作者：Hicham El-Zein;J. Ian Munro;Yakov Nekrich
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Succinct Data StructuresRange SearchingComputational Geometry;
53.Fast Detection of Stable and Count Predicates in Parallel Computations

机译：快速检测并行计算中的稳定谓词和计数谓词
- 作者：Himanshu Chauhan;Vijay K. Garg
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- AlgorithmsTheoryPredicate DetectionParallel Programs;
54.Edge Estimation with Independent Set Oracles

机译：独立集合Oracle的边缘估计
- 作者：Paul Beame;Sariel Har-Peled;Sivaramakrishnan Natarajan Ramamoorthy;Cyrus Rashtchian;Makrand Sinha
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Approximate CountingIndependent Set QueriesSparsificationImportance Sampling;
55.Vertex Deletion Problems on Chordal Graphs

机译：弦图上的顶点删除问题
- 作者：Yixin Cao;Yuping Ke;Yota Otachi;Jie You
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- vertex deletion problemmaximum subgraphchordal graph(unit) interval graphsplit graphhereditary propertyNP-completepolynomial-time algori;
56.A Lifting Theorem with Applications to Symmetric Functions

机译：提升定理及其在对称函数中的应用
- 作者：Arkadev Chattopadhyay;Nikhil S. Mande
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Symmetric functionsliftingcircuit complexitycommunication com- plexity;
57.Computing longest common square subsequences

机译：计算最长的公共平方子序列
- 作者：Takafumi Inoue;Shunsuke Inenaga;Heikki Hyyr{o;Hideo Bannai;Masayuki Takeda
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- squaressubsequencesmatching rectanglesdynamic programming;
58.Dualities in Tree Representations

机译：树表示中的对偶
- 作者：Rayan Chikhi;Alexander Sch{o}nhuth
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Data StructuresSuccinct Tree RepresentationBalanced Parenthesis RepresentationIsomorphisms;
59.Memetic Graph Clustering

机译：模因图聚类
- 作者：Sonja Biedermann;Monika Henzinger;Christian Schulz;Bernhard Schuster
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Graph ClusteringEvolutionary Algorithms;
60.A New Approach for Constructing Low-Error, Two-Source Extractors

机译：构造低误差两源提取器的新方法
- 作者：Avraham Ben-Aroya;Eshan Chattopadhyay;Dean Doron;Xin Li;Amnon Ta-Shma
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Two-Source ExtractorsNon-Malleable ExtractorsPseudorandomnessExplicit Constructions;
61.Earthmover Resilience and Testing in Ordered Structures

机译：推土机弹性和有序结构中的测试
- 作者：Omri Ben-Eliezer;Eldar Fischer
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- characterizations of testabilitydistance estimationearthmover resilientordered structuresproperty testing;
62.Complexity Classification of Conjugated Clifford Circuits

机译：共轭Clifford回路的复杂度分类
- 作者：Adam Bouland;Joseph F. Fitzsimons;Dax Enshan Koh
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- gate set classificationquantum advantagesampling problemspolynomial hierarchy;
63.On the Complexity of the Cayley Semigroup Membership Problem

机译：Cayley半群隶属度问题的复杂性
- 作者：Lukas Fleischer
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- subsemigroupmultiplication tablegeneratorscompletenessquasi-polynomial-size circuitsFOLL;
64.Maximal Independent Sets and Maximal Matchings in Series-Parallel and Related Graph Classes

机译：串联平行和相关图类中的最大独立集和最大匹配
- 作者：Michael Drmota;Lander Ramos;Cl{e}ment Requil{e;Juanjo Ru{e
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Asymptotic enumerationcentral limit lawssubcritical graph classesmaximal independent setmaximal matching;
65.Theory and Practice of Coroutines with Snapshots

机译：带快照协程的理论与实践
- 作者：Aleksandar Prokopec;Fengyun Liu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- coroutinescontinuationscoroutine snapshotsasynchronous programminginversion of controlevent-driven programming;
66.Definite Reference Mutability

机译：确定的参考可变性
- 作者：Ana Milanova
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- reference immutabilitytype inferenceCFL-reachabilityprecision;
67.Fine-Grained Derandomization: From Problem-Centric to Resource-Centric Complexity

机译：细粒度的去随机化：从以问题为中心到以资源为中心的复杂性
- 作者：Marco L. Carmosino;Russell Impagliazzo;Manuel Sabin
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- DerandomizationHardness vs RandomnessFine-Grained ComplexityAverage-Case Complexityk-Orthogonal Vectorsk-CLIQUE;
68.Power of Uninitialized Qubits in Shallow Quantum Circuits

机译：浅量子电路中未初始化量子位的功率
- 作者：Yasuhiro Takahashi;Seiichiro Tani
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- quantum circuit complexityshallow quantum circuituninitialized qubit;
69.Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs

机译：大小，成本和容量：硬随机QBF的语义技术
- 作者：Olaf Beyersdorff;Joshua Blinkhorn;Luke Hinde
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- quantified Boolean formulasproof complexitylower bounds;
70.An Axiomatic Study of Scoring Rule Markets

机译：计分规则市场的公理研究
- 作者：Rafael Frongillo;Bo Waggoner
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- prediction marketsinformation elicitationscoring rules;
71.Further Limitations of the Known Approaches for Matrix Multiplication

机译：矩阵乘法的已知方法的其他限制
- 作者：Josh Alman;Virginia Vassilevska Williams
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- matrix multiplicationlower boundmonomial degenerationstructural tensor of addition mod p;
72.Efficient Testing without Efficient Regularity

机译：没有有效规律性的有效测试
- 作者：Lior Gishboliner;Asaf Shapira
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Property testingInduced C_4-freeness;
73.How Deterministic are Good-For-Games Automata?

机译：好游戏自动机的确定性如何？
- 作者：Udi Boker;Orna Kupferman;Michal Skrzypczak
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- finite automata on infinite wordsdeterminismgood-for-games;
74.On the Parameterized Complexity of Contraction to Generalization of Trees

机译：压缩对树泛化的参数化复杂度
- 作者：Akanksha Agrawal;Saket Saurabh;Prafullkumar Tale
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Graph ContractionFixed Parameter TractabilityGraph AlgorithmsGeneralization of Trees;
75.K-Best Solutions of MSO Problems on Tree-Decomposable Graphs

机译：树可分解图上MSO问题的K-最佳解
- 作者：David Eppstein;Denis Kurz
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- graph algorithmk-bestmonadic second-order logictreewidth;
76.Merging Nodes in Search Trees: an Exact Exponential Algorithm for the Single Machine Total Tardiness Scheduling Problem

机译：合并搜索树中的节点：单机总时延调度问题的精确指数算法
- 作者：Lei Shang;Michele Garraffa;Federico Della Croce;Vincent TKindt
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Exact exponential algorithmSingle machine total tardinessBranch-and-merge;
77.Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments

机译：最大平面子图问题的精确算法：新模型和实验
- 作者：Markus Chimani;Ivo Hedtke;Tilo Wiedera
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- maximum planar subgraphinteger linear programmingpseudo boolean satisfiabilitygraph drawingalgorithm engineering;
78.Fleet Management for Autonomous Vehicles Using Multicommodity Coupled Flows in Time-Expanded Networks

机译：时间扩展网络中使用多商品耦合流的自动驾驶汽车车队管理
- 作者：Sahar Bsaybes;Alain Quilliot;Annegret K. Wagler
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- fleet managementoffline and online pickup and delivery problemmulticommodity flows;
79.Optimizing Society? Ensuring Fairness in Automated Decision-Making (Invited Talk)

机译：优化社会？确保自动化决策中的公平性（特邀演讲）
- 作者：Sorelle Friedler
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- algorithmic fairness;
80.God Save the Queen

机译：上帝保佑女王
- 作者：Jurek Czyzowicz;Konstantinos Georgiou;Ryan Killick;Evangelos Kranakis;Danny Krizanc;Lata Narayanan;Jaroslav Opatrny;Sunil Shende
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- AlgorithmEvacuationExitDiskWireless CommunicationQueenPriorityRobotsSearchServantsTrajectory;
81.Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)

机译：区块链语言的正式设计，实现和验证（特邀演讲）
- 作者：Grigore Rosu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Formal semanticsProgram verificationBlockchain;
82.A Syntax for Higher Inductive-Inductive Types

机译：高感应类型的语法
- 作者：Ambrus Kaposi;Andr{}s Kov{}cs
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- homotopy type theoryinductive-inductive typeshigher inductive typesquotient inductive typeslogical relations;
83.Interpolating between k-Median and k-Center: Approximation Algorithms for Ordered k-Median

机译：k中位数和k中心之间的插值：有序k中位数的近似算法
- 作者：Deeparnab Chakrabarty;Chaitanya Swamy
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Approximation algorithmsClusteringFacility locationPrimal-dual method;
84.Improved Approximation for Node-Disjoint Paths in Grids with Sources on the Boundary

机译：具有边界源的网格中节点不相交路径的改进近似
- 作者：Julia Chuzhoy;David H. K. Kim;Rachit Nimavat
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Node-disjoint pathsapproximation algorithmsrouting and layout;
85.Treasure Hunt with Barely Communicating Agents

机译：勉强沟通的人寻宝
- 作者：Stefan Dobrev;Rastislav Kr{}lovic;Dana Pardubsk{
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- parallel exhaustive searchtreasure huntfault-tolerant searchweak coordinationblack holes;
86.Finite Sample Differentially Private Confidence Intervals

机译：有限样本差分私人置信区间
- 作者：Vishesh Karwa;Salil Vadhan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Differential PrivacyConfidence IntervalsLower boundsFinite Sample;
87.Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable

机译：具有附加约束的小权重同构是固定参数可操作的
- 作者：Vikraman Arvind;Johannes K{o}bler;Sebastian Kuhnert;Jacobo Tor{}n
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- parameterized algorithmshypergraph isomorphismmislabeled graphs;
88.Parameterized Complexity of Finding a Spanning Tree with Minimum Reload Cost Diameter

机译：查找最小重载成本直径的生成树的参数化复杂性
- 作者：Julien Baste;Didem G{o}z{u}pek;Christophe Paul;Ignasi Sau;Mordechai Shalom;Dimitrios M. Thilikos
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- reload cost problemsminimum diameter spanning treeparameterized complexityFPT algorithmtreewidthdynamic programming;
89.Turing Kernelization for Finding Long Paths in Graphs Excluding a Topological Minor

机译：图灵内核化，用于在图形中查找不包括拓扑次要项的长路径
- 作者：Bart M. P. Jansen;Marcin Pilipczuk;Marcin Wrochna
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Turing kernellong pathk-pathexcluded topological minormodulator;
90.Treewidth with a Quantifier Alternation Revisited

机译：重用量词替换的树宽
- 作者：Michael Lampis;Valia Mitsou
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- TreewidthExponential Time HypothesisQuantified SAT;
91.Communication Complexity with Small Advantage

机译：沟通复杂，优势不大
- 作者：Thomas Watson
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Communicationcomplexitysmalladvantage;
92.Multistage Matchings

机译：多阶段匹配
- 作者：Evripidis Bampis;Bruno Escoffier;Michael Lampis;Vangelis Th. Paschos
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Perfect MatchingTemporal OptimizationMultistage Optimization;
93.On the Exact Complexity of Polyomino Packing

机译：关于多氨基酸包装的确切复杂性
- 作者：Hans L. Bodlaender;Tom C. van der Zanden
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- polyomino packingexact complexityexponential time hypothesis;
94.Kings, Name Days, Lazy Servants and Magic

机译：国王，名字日，懒惰的仆人和魔术
- 作者：Paolo Boldi;Sebastiano Vigna
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Suffix treessuffix arraysz-fast triesprefix search;
95.Vanishing of Cohomology Groups of Random Simplicial Complexes (Keynote Speakers)

机译：随机单纯形复同性群的消失（主讲嘉宾）
- 作者：Oliver Cooley;Nicola Del Giudice;Mihyun Kang;Philipp Spr{u}ssel
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Random hypergraphsrandom simplicial complexessharp thresholdhitting timeconnectedness;
96.CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs

机译：CrySL：验证密码API正确使用的可扩展方法
- 作者：Stefan Kr{u}ger;Johannes Sp{}th;Karim Ali;Eric Bodden;Mira Mezini
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- cryptographydomain-specific languagestatic analysis;
97.Matrix Completion and Related Problems via Strong Duality

机译：通过强对偶矩阵完成和相关问题
- 作者：Maria-Florina Balcan;Yingyu Liang;David P. Woodruff;Hongyang Zhang
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Non-Convex OptimizationStrong DualityMatrix CompletionRobust PCASample Complexity;
98.Complexity of Model Checking MDPs against LTL Specifications

机译：根据LTL规格检查MDP的模型的复杂性
- 作者：Dileep Kini;Mahesh Viswanathan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Markov Decision ProcessesLinear Temporal Logicmodel checkingcomplexity;
99.On the Parameterized Complexity of Red-Blue Points Separation

机译：红蓝点分离的参数化复杂度
- 作者：E}douard Bonnet;Panos Giannopoulos;Michael Lampis
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- red-blue points separationgeometric problemW1-hardnessFPT algorithmETH-based lower bound;
100.Fast matching statistics in small space

机译：小空间快速匹配统计
- 作者：Djamal Belazzougui;Fabio Cunial;Olgert Denas
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2018年第23期
- Matching statisticsmaximal repeatBurrows-Wheeler transformwavelet treesuffix tree topology;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号