法布里奇奥·弗拉蒂 双连通外平面DAG的向上平面性测试解决了分区问题。 (英语) Zbl 07833685号 西奥。计算。科学。 998,文章ID 114541,13 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{F.Frati},Theor。计算。科学。998,文章ID 114541,第13页(2024;Zbl 07833685) 全文: 内政部 arXiv公司
汉斯·克莱恩·勃宁 命题UMU公式类及其对极小不可满足公式的扩展。 (英语) Zbl 07833683号 西奥。计算。科学。 998,文章ID 114538,17 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning},Theor(西奥)。计算。科学。998,文章ID 114538,17 p.(2024;Zbl 07833683) 全文: 内政部
费多尔·福明。;Fraigniaud,皮埃尔;Petr A.Golovach。 图中广播的参数化复杂性。 (英语) Zbl 07832844号 西奥。计算。科学。 997,文章ID 114508,14 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,Theor。计算。科学。997,文章ID 114508,第14页(2024;Zbl 07832844) 全文: 内政部 arXiv公司
穆罕默德·扎克佐克;凯·萨洛马 将有限宽AFA转换为非确定性通用有限自动机。 (英语) Zbl 07827499号 西奥。计算。科学。 996,文章ID 114506,10 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Zakzok}和\textit{K.Salomaa},Theor。计算。科学。996,文章ID 114506,10 p.(2024;Zbl 07827499) 全文: 内政部
Fraigniaud,皮埃尔;马埃尔·卢斯;爱荷华州托丹加 基于阈值的循环检测算法的威力充血模型。 (英语) Zbl 07827495号 西奥。计算。科学。 996,文章ID 114500,14 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Fraignaud}等人,Theor。计算。科学。996,文章ID 114500,14 p.(2024;Zbl 07827495) 全文: 内政部
阿什什·乔杜里 几乎完全以最佳弹性终止针对一般对手的异步拜占庭协议。 (英语) Zbl 07826204号 西奥。计算。科学。 995,文章ID 114492,32 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{A.Choudhury},Theor。计算。科学。995,文章ID 114492,32 p.(2024;Zbl 07826204) 全文: 内政部
亚历山大·奥霍金;玛丽亚·拉多诺娃;Elizaveta萨日涅娃 \(\mathrm{GF}(2)\)-对形式语言基本族的操作。 (英语) Zbl 07826201号 西奥。计算。科学。 995,文章ID 114489,13 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}等人,Theor。计算。科学。995,文章ID 114489,13 p.(2024;Zbl 07826201) 全文: 内政部
德米纳蒂;萨蒂亚姆·辛格 使用来自\(\ mathbb{Z}^d\)的点在线打击\(\ mathbb{R}^d_)中的单位球和超立方体。 (英语) Zbl 07813023号 西奥。计算。科学。 992,文章ID 114452,17 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.De}和\textit{S.Singh},Theor。计算。科学。992,文章ID 114452,17 p.(2024;Zbl 07813023) 全文: 内政部 arXiv公司
维克托·米特拉纳;佩恩,安德烈;佩恩,米哈拉;何塞·拉蒙·Sánchez-Couso 用半透明字母跳跃有限自动机的复杂性。 (英语) Zbl 07813021号 西奥。计算。科学。 992,文章ID 114450,9 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.Mitrana}等人,Theor。计算。科学。992,文章ID 114450,9 p.(2024;Zbl 07813021) 全文: 内政部
王路生;杨伯丁 带约束的边搜索和快速搜索。 (英语) Zbl 07811875号 西奥。计算。科学。 991,文章ID 114416,16 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{B.Yang},Theor。计算。科学。991,文章ID 114416,16 p.(2024;Zbl 07811875) 全文: 内政部
埃蒂安·格兰德让;泰奥州格伦特;Véronique梗 逻辑与实时细胞自动机程序中的归纳定义。 (英语) Zbl 07811868号 西奥。计算。科学。 987,文章ID 114355,第59页(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃·格兰德让}等人,Theor。计算。科学。987,文章ID 114355,59 p.(2024;Zbl 07811868) 全文: 内政部 链接
梅格娜·纳斯雷;Prajakta市Nimbhorkar;克沙夫·兰扬;安基塔·萨卡尔 在多对多的环境中流行的关键匹配。 (英语) Zbl 07809119号 西奥。计算。科学。 982,文章ID 114281,23 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Nasre}等人,Theor。计算。科学。982,文章ID 114281,23 p.(2024;Zbl 07809119) 全文: 内政部 arXiv公司
洛朗·古尔维斯;阿拉拉特·哈里顿扬;迈克尔·兰皮斯;尼古拉斯·梅利西诺斯 填纵横字谜很难。 (英语) Zbl 07809113号 西奥。计算。科学。 982,文章ID 114275,20 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Gourvès}等人,Theor。计算。科学。982,文章ID 114275,20 p.(2024;Zbl 07809113) 全文: 内政部
武和田。 回顾数据流中的最大可满足性和相关问题。 (英语) Zbl 07809109号 西奥。计算。科学。 982,文章ID 114271,10 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{H.T.Vu},Theor。计算。科学。982,文章ID 114271,10 p.(2024;Zbl 07809109) 全文: 内政部
奥斯卡·伦德斯特罗姆;米歇尔·雷纳尔;Elad M.席勒。 自我稳定宽容的零分解二进制共识。 (英语) Zbl 07807461号 西奥。计算。科学。 989,文章ID 114387,21 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Lundsröm}等人,Theor。计算。科学。989,文章ID 114387,21 p.(2024;Zbl 07807461) 全文: 内政部 arXiv公司
伯纳德·伯托米厄;Dmitry A.扎伊采夫。 Sleptsov网络是图灵完备的。 (英语) Zbl 07789590号 西奥。计算。科学。 986,文章ID 114346,3 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Berthomieu}和\textit{D.A.Zaitsev},Theor。计算。科学。986,文章ID 114346,3 p.(2024;Zbl 07789590) 全文: 内政部 arXiv公司
王勇 基于频率四边形在最优哈密顿圈中寻找边。 (英语) Zbl 07789580号 西奥。计算。科学。 986,文章ID 114323,9 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{Y.Wang},Theor。计算。科学。986,文章ID 114323,9 p.(2024;Zbl 07789580) 全文: 内政部
丹尼·赫尔梅林;利昂·凯勒哈尔斯;罗尔夫·尼德迈尔;拉米·普加奇 近似稀疏二次规划。 (英语) Zbl 07782074号 西奥。计算。科学。 984,文章ID 114319,11 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Hermelin}等人,Theor。计算。科学。984,文章ID 114319,11 p.(2024;Zbl 07782074) 全文: 内政部 arXiv公司
琼·博亚尔;Larsen,Kim S。;丹尼斯·潘克拉托夫 通知自适应优先级算法的复杂性。 (英语) 兹伯利07782073 西奥。计算。科学。 984,文章ID 114318,31 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Boyar}等人,Theor。计算。科学。984,文章ID 114318,31 p.(2024;Zbl 07782073) 全文: 内政部 arXiv公司
安德烈·卡瓦略 子群的代数和上下文无关子集。 (英语) Zbl 07767579号 西奥。计算。科学。 980,文章ID 114229,10 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{A.Carvalho},Theor。计算。科学。980,文章ID 114229,10 p.(2023;Zbl 07767579) 全文: 内政部 arXiv公司
杰克里什南,G。;阿萨夫·莱文 具有基数约束的可拆分装箱对偶的EPTAS。 (英语) 兹伯利07755520 西奥。计算。科学。 979,文章ID 114202,10 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Jaykrishnan}和\textit{A.Levin},Theor。计算。科学。979,文章编号114202,10 p.(2023;Zbl 07755520) 全文: 内政部 arXiv公司
川崎美塔尼;三野,Takuya;濑户县;高石县Horiyama 在子串中查找最长的回文。 (英语) Zbl 07755512号 西奥。计算。科学。 979,文章ID 114183,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Mitani}等人,Theor。计算。科学。979,文章ID 114183,11 p.(2023;Zbl 07755512) 全文: 内政部 arXiv公司
内尔·卡里亚;法拉茨·马利克;戴,帕拉什 安全行贿有多难? (英语) Zbl 07755508号 西奥。计算。科学。 979,文章ID 114156,23 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Karia}等人,Theor。计算。科学。979,文章ID 114156,23 p.(2023;Zbl 07755508) 全文: 内政部 arXiv公司
让·内罗 生成最大长度格雷循环wrt.\(k\)-字符替换的无循环算法。 (英语) Zbl 07751514号 西奥。计算。科学。 977,文章ID 114175,第23页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{J.Néraud},Theor。计算。科学。977,文章ID 114175,23 p.(2023;Zbl 07751514) 全文: 内政部 arXiv公司
司马·哈加海·山加尼;瓦莱丽·金 几何通信网络中的通信成本。 (英语) Zbl 07751509号 西奥。计算。科学。 977,文章ID 114161,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Hajiaghaei Shanjani}和\textit{V.King},Theor。计算。科学。977,文章ID 114161,第19页(2023;Zbl 07751509) 全文: 内政部 arXiv公司
沃尔夫冈·贝恩;劳伦斯·L·拉莫尔。 打破树中两台服务器的双重竞争壁垒。 (英语) Zbl 07751508号 西奥。计算。科学。 977,文章ID 114152,13 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Bein}和\textit{L.Larmore},Theor。计算。科学。977,文章ID 114152,13 p.(2023;Zbl 07751508) 全文: 内政部
M.Utkan Gezer;奥兹德尼兹·多鲁;内瓦扎特·埃尔索伊;喂,A.C.杰姆 实时、恒定空间、恒定随机验证器。 (英语) Zbl 07751502号 西奥。计算。科学。 976,文章ID 114155,10 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.U.Gezer}等人,Theor。计算。科学。976,文章ID 114155,10 p.(2023;Zbl 07751502) 全文: 内政部
迈阿扎梅尔;克里斯托弗·汉普森;科斯塔斯·S·伊利奥普洛斯。;利姆,扎拉;梭伦·皮西斯;迪米特里奥斯·瓦拉查基斯;史蒂文·瓦茨 带间隙和不匹配的最大退化回文。 (英语) Zbl 07748737号 西奥。计算。科学。 978,文章ID 114182,16 p.(2023). 审核人:帕纳伊奥蒂斯·弗拉莫斯(Kérkyra) MSC公司:68兰特 68瓦32 92天10分 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alzamel}等人,Theor。计算。科学。978,文章ID 114182,16 p.(2023;Zbl 07748737) 全文: 内政部
埃斯特·加尔比;达尼尔·马克思;菲利普·谢珀;鲁哈尼·夏尔马;Prafullkumar的故事 加权树中多截的参数化复杂性。 (英语) Zbl 07748733号 西奥。计算。科学。 978,文章ID 114174,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Galby}等人,Theor。计算。科学。978,文章ID 114174,17 p.(2023;Zbl 07748733) 全文: 内政部
蒂莫西·阿尔布;戴维·弗雷;米歇尔·雷纳尔;弗朗索瓦州塔亚尼 异步拜占庭可靠广播与消息对手。 (英语) 兹伯利07748730 西奥。计算。科学。 978,文章ID 114110,14 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Albouy}等人,Theor。计算。科学。978,文章ID 114110,14 p.(2023;Zbl 07748730) 全文: 内政部 arXiv公司 哈尔
约翰·伯克特;马库斯·R·加维。 解决永恒之谜的整数线性规划方法。 (英语) Zbl 07741114号 西奥。计算。科学。 975,文章ID 114138,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Burkardt}和\textit{M.R.Garvie},Theor。计算。科学。975,文章ID 114138,20 p.(2023;Zbl 07741114) 全文: 内政部
帕梅拉·弗莱什曼;卢卡斯·哈施克;乔纳斯·Höfer;安妮卡·胡奇;安妮卡·梅洛克;德克·诺沃特卡 几乎(k)-通用词-调查Simon的部分一致性。 (英语) Zbl 07739133号 西奥。计算。科学。 974,文章ID 114113,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Fleischmann}等人,Theor。计算。科学。974,文章ID 114113,19 p.(2023;Zbl 07739133) 全文: 内政部
曼弗雷德·布罗伊 通过因果关系和可实现性对并发系统进行规范和验证。 (英语) Zbl 07739130号 西奥。计算。科学。 974,文章ID 114106,61页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Broy}。计算。科学。974,文章ID 114106,61 p.(2023;Zbl 07739130) 全文: 内政部
卡罗尔·德尔波特;Hugues的Fauconnier;米歇尔·雷纳尔;穆纳·萨菲尔 拜占庭(k)集同步协议的最优算法。 (英语) Zbl 1520.68014号 西奥。计算。科学。 973,文章ID 114098,18 p.(2023).MSC公司:64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Delport-Gallet}等人,Theor。计算。科学。973,文章ID 114098,第18页(2023;Zbl 1520.68014) 全文: 内政部
富士芝、尤塔;铃木;顺介英纳加;伊迪奥·班奈;武田,Masayuki DAWG、对称索引结构和整数字母MAW的线性时间计算。 (英语) Zbl 1520.68229号 西奥。计算。科学。 973,文章ID 114093,16 p.(2023).MSC公司:68瓦32 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fujishige}等人,Theor。计算。科学。973,文章编号114093,16 p.(2023;Zbl 1520.68229) 全文: 内政部 arXiv公司
Pratik Ghosal公司;亚当·库尼兹;卡塔兹纳·帕卢奇 排名最大和流行匹配的动态。 (英语) Zbl 1522.91168号 西奥。计算。科学。 972,文章ID 114083,25 p.(2023).MSC公司:91B68型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ghosal}等人,Theor。计算。科学。972,文章ID 114083,25 p.(2023;Zbl 1522.91168) 全文: 内政部 arXiv公司
米查尔·霍斯波达尔;维克托·奥利亚尔 子区域语言中的非确定性操作复杂性。 (英语) 兹伯利07735120 西奥。计算。科学。 972,文章ID 114075,23 p.(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hospodár}和\textit{V.Olejár,Theor。计算。科学。972,文章编号114075,23 p.(2023;Zbl 07735120) 全文: 内政部
罗马里亚·杜维格诺;米歇尔·雷纳尔;埃拉·迈克尔·席勒 自我稳定的拜占庭容错重复可靠广播。 (英语) Zbl 07735118号 西奥。计算。科学。 972,文章ID 114070,21 p.(2023).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{R.Duvignau}等人,Theor。计算。科学。972,文章编号114070,21 p.(2023;Zbl 07735118) 全文: 内政部 arXiv公司
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 一元语言上的迭代一致有限状态变换器。 (英语) Zbl 07720780号 西奥。计算。科学。 969,文章ID 114049,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{M.Kutrib}等人,Theor。计算。科学。969,文章编号114049,17 p.(2023;Zbl 07720780) 全文: 内政部
努林,Lhouari;西蒙·维尔明 满足不可约元素枚举的关联基的层次分解。 (英语) Zbl 07720776号 西奥。计算。科学。 969,文章ID 114030,24 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Nourine}和\textit{S.Vilmin},Theor。计算。科学。969,文章编号114030,24 p.(2023;Zbl 07720776) 全文: 内政部 arXiv公司
苏菲·麦克唐纳 有向图的路问题和同态。 (英语) Zbl 07715623号 西奥。计算。科学。 968,文章ID 113981,20页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.麦克唐纳},Theor。计算。科学。968,文章ID 113981,20 p.(2023;Zbl 07715623) 全文: 内政部 arXiv公司
马丁·库特里布;乌韦·迈耶 语法检查。 (英语) Zbl 07699968号 西奥。计算。科学。 966-967,文章ID 114000,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{U.Meyer},Theor。计算。科学。966--967,文章ID 114000,11 p.(2023;Zbl 07699968) 全文: 内政部
阿纳伊斯·杜兰德;米歇尔·雷纳尔;Taubenfeld,加迪 在发生有争议的撞车事故时达成协议。 (英语) Zbl 07699966号 西奥。计算。科学。 966-967,文章ID 113982,12 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,Theor。计算。科学。966--967,文章ID 113982,12 p.(2023;Zbl 07699966) 全文: 内政部
梅丽莎·安东内利;乌戈·达尔拉戈;保罗·皮斯通 关于计数命题逻辑和瓦格纳的层次结构。 (英语) Zbl 07699965号 西奥。计算。科学。 966-967,文章ID 113928,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Antonelli}等人,Theor。计算。科学。966--967,文章ID 113928,21 p.(2023;Zbl 07699965) 全文: 内政部
林碧霞;黄国思;杨长彪 最长公共子序列问题的线性空间S表算法。 (英语) Zbl 1517.68437号 西奥。计算。科学。 964,文章ID 113944,17 p.(2023).MSC公司:68瓦32 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.-S.Lin}等人,Theor。计算。科学。964,文章ID 113944,17 p.(2023;Zbl 1517.68437) 全文: 内政部
塞缪尔·爱泼斯坦 科尔莫戈洛夫生日悖论。 (英语) 兹比尔1521.68071 西奥。计算。科学。 963,文章ID 113964,12 p.(2023). 审核人:路德维希·斯泰格(哈雷) MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \文本{S.爱泼斯坦},Theor。计算。科学。963,文章ID 113964,12 p.(2023;Zbl 1521.68071) 全文: 内政部 arXiv公司
张孟;张毅 使用任意基数开关的任意大小排列网络。 (英语) Zbl 07691020号 西奥。计算。科学。 962,文章ID 113939,14 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Zhang}和\textit{Y.Zhang,Theor。计算。科学。962,文章ID 113939,第14页(2023;Zbl 07691020) 全文: 内政部
黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 扩展(ω)正则语言的区间时序逻辑特征。 (英语) Zbl 07691017号 西奥。计算。科学。 962,文章ID 113929,29 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,Theor。计算。科学。962,文章ID 113929,29 p.(2023;Zbl 07691017) 全文: 内政部
肖明宇;寇少伟 三路径顶点覆盖的顶点核。 (英语) Zbl 07685357号 西奥。计算。科学。 959,文章ID 113872,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Xiao}和\textit{S.Kou},Theor。计算。科学。959,文章ID 113872,20 p.(2023;Zbl 07685357) 全文: 内政部
罗斯·霍恩;绍克·莫;塞门·尤尔科夫 当隐私失效时,一个公式描述了一种攻击:应用的(pi)演算的完整组合验证方法。 (英语) Zbl 07685353号 西奥。计算。科学。 959,文章ID 113842,42 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人,Theor。计算。科学。959,文章ID 113842,42 p.(2023;Zbl 07685353) 全文: 内政部
哈杰比、萨哈布;拉明·贾瓦迪 关于非循环匹配问题的参数化复杂性。 (英语) Zbl 07681300号 西奥。计算。科学。 958,文章ID 113862,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Hajebi}和\textit{R.Javadi},Theor。计算。科学。958,文章ID 113862,17 p.(2023;Zbl 07681300) 全文: 内政部 arXiv公司
米歇尔·帕斯夸;马里诺·米库兰 AbU:一种基于属性交互的分布式事件驱动编程演算。 (英语) Zbl 07681293号 西奥。计算。科学。 958,文章ID 113841,32 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan},Theor。计算。科学。958,文章ID 113841,32 p.(2023;Zbl 07681293) 全文: 内政部
米哈伊尔·克里金;亚历山大·奥霍金 对于带有上下文运算符的语法来说,最难的语言。 (英语) Zbl 07681292号 西奥。计算。科学。 958,文章ID 113829,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Mrykhin}和\textit{A.Okhotin},Theor。计算。科学。958,文章ID 113829,19 p.(2023;Zbl 07681292) 全文: 内政部 arXiv公司
谷淑阳;高川根;黄、军;吴伟丽 社交网络中的利润最大化和非单调DR-子模块最大化。 (英语) Zbl 1522.91188号 西奥。计算。科学。 957,文章ID 113847,10 p.(2023).MSC公司:91天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Gu}等人,Theor。计算。科学。957,文章ID 113847,10 p.(2023;Zbl 1522.91188) 全文: 内政部 arXiv公司
赵雪阳;严炳浩;张鹏 用于简单测量网络分区的新算法。 (英语) Zbl 07679993号 西奥。计算。科学。 957,文章ID 113846,15 p.(2023).MSC公司:68兰特 68周25 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}等人,Theor。计算。科学。957,文章ID 113846,15 p.(2023;Zbl 07679993) 全文: 内政部
王彩霞;杨瑜(Yang,Yu);徐寿军 单位圆盘图和矩形图的安全连通控制和安全全控制。 (英语) Zbl 07679988号 西奥。计算。科学。 957,文章ID 113824,第16页(2023).MSC公司:68兰特 05C69号 68周25 PDF格式BibTeX公司 XML格式引用 \textit{C.-X.Wang}等人,Theor。计算。科学。957,文章ID 113824,16 p.(2023;Zbl 07679988) 全文: 内政部
罗密欧·里兹;圣埃芬·维亚莱特 识别洗牌产品的正方形单词。 (英语) 兹伯利07679025 西奥。计算。科学。 956,文章ID 111156,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Rizzi}和\textit{S.Vialette},Theor。计算。科学。956,文章ID 111156,16 p.(2023;Zbl 07679025) 全文: 内政部
Goyal、Dishant;拉格什·贾斯瓦尔 约束中心和供应商的严格FPT近似。 (英语) Zbl 07676480号 西奥。计算。科学。 940, 190-208 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Goyal}和\textit{R.Jaiswal},Theor。计算。科学。940、190--208(2023;Zbl 07676480) 全文: 内政部 arXiv公司
马吕斯·博兹加;拉杜·伊奥西夫;约瑟夫·西法基斯 使用递归架构验证基于组件的系统。 (英语) Zbl 07676475号 西奥。计算。科学。 940, 146-175 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{M.Bozga}等人,Theor。计算。科学。940、146--175(2023年;Zbl 07676475) 全文: 内政部 arXiv公司 哈尔
坎通纳,多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。三: 关键的多项式最大可判定布尔语言的测试程序。 (英语) Zbl 07673768号 西奥。计算。科学。 954,文章ID 113786,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Theor。计算。科学。954,文章ID 113786,21 p.(2023;Zbl 07673768) 全文: 内政部
铃木、玉马;宫城龙平 用六种类型的硬币来描述货币兑换问题的规范体系。 (英语) Zbl 07673669号 西奥。计算。科学。 955,文章ID 113822,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Suzuki}和\textit{R.Miyashiro},Theor。计算。科学。955,文章ID 113822,15 p.(2023;Zbl 07673669) 全文: 内政部 arXiv公司
罗伯特·格莱克;横山,铁雄 从编程语言的角度看可逆计算。 (英语) Zbl 07667524号 西奥。计算。科学。 953,文章ID 113429,26 p.(2023).MSC公司:68甲15 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山},Theor。计算。科学。953,文章ID 113429,26 p.(2023;Zbl 07667524) 全文: 内政部
塞尔吉奥·拉杰斯鲍姆 俄罗斯卡问题中无条件安全信息传输的分布式计算观点。 (英语) Zbl 1521.68065号 西奥。计算。科学。 952,文章ID 113761,24 p.(2023).MSC公司:2010年第68季度 68页30 68兰特 94A60型 PDF格式BibTeX公司 XML格式引用 \文本{S.Rajsbaum},Theor。计算。科学。952,文章ID 113761,第24页(2023;Zbl 1521.68065) 全文: 内政部 arXiv公司
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,28 p.(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
Laurent Bienvenu;华伦天奴·德尔·罗斯;沃尔夫冈·默克尔 相对深度。 (英语) Zbl 1523.03018号 西奥。计算。科学。 949,文章ID 113694,15 p.(2023). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03天32分 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}等人,Theor。计算。科学。949,文章ID 113694,15 p.(2023;Zbl 1523.03018) 全文: 内政部 arXiv公司
Dan Alistarh;埃伦·费思;乔尔·里比奇 图上无等待近似一致。 (英语) Zbl 1507.68052号 西奥。计算。科学。 948,文章ID 113733,18 p.(2023).MSC公司:64岁以下 68兰特 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Alistarh}等人,Theor。计算。科学。948,文章ID 113733,18 p.(2023;Zbl 1507.68052) 全文: 内政部
戈麦斯,伦佐;宫泽,弗拉维奥·凯迪;Yoshiko Wakabayashi 有界度图上最小扳手问题的改进NP-hardness结果。 (英语) Zbl 1520.68122号 西奥。计算。科学。 947,文章ID 113691,13 p.(2023).MSC公司:68兰特 05年10月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez}等人,Theor。计算。科学。947,文章ID 113691,13 p.(2023;Zbl 1520.68122) 全文: 内政部
纪尧姆·杜卡夫 Helly图和(k\)-Helly图中的距离问题。 (英语) Zbl 1517.05045号 西奥。计算。科学。 946,文章ID 113690,11 p.(2023).MSC公司:05C12号 05C85号 65年第68季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \文本{G.Ducoff},Theor。计算。科学。946,文章ID 113690,11 p.(2023;Zbl 1517.05045) 全文: 内政部 arXiv公司
安德烈亚·考奇奥洛;费迪南多·齐卡莱斯 具有列分数的多序列比对的硬度和近似值。 (英语) Zbl 1520.68102号 西奥。计算。科学。 946,文章ID 113683,11 p.(2023).MSC公司:68卢比 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{A.Caucchiolo}和\textit{F.Cicalese},Theor。计算。科学。946,文章ID 113683,11 p.(2023;Zbl 1520.68102) 全文: 内政部
史蒂文·里昂;拉朱·兰加斯瓦米;谢宁 通过网络流寻找最佳的非数据路径缓存策略。 (英语) Zbl 1512.68082号 西奥。计算。科学。 945,文章ID 113686,9 p.(2023).MSC公司:68第20页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Lyons}等人,Theor。计算。科学。945,文章ID 113686,9 p.(2023;Zbl 1512.68082) 全文: 内政部
刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英语) Zbl 1512.68157号 西奥。计算。科学。 943, 153-170 (2023).MSC公司:60年第68季度 03B44号 60年20日 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人,Theor。计算。科学。943153-170(2023年;Zbl 1512.68157) 全文: 内政部
乔伊夫里尔,A。 最小2-边连通生成子图问题的一种新的近似算法。 (英语) Zbl 1512.68205号 西奥。计算。科学。 943, 121-130 (2023); 更正同上,963,文章ID 113926,2 p.(2023)。MSC公司:68兰特 68周25 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jo ivril},Theor。计算。科学。943121-130(2023年;Zbl 1512.68205) 全文: 内政部 arXiv公司
亚瑟·奎费莱;奥坎·桑库尔;弗朗索瓦州施瓦岑特鲁伯 部分已知环境中关联代理的规划复杂性。 (英语) Zbl 07638360号 西奥。计算。科学。 941, 202-220 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Queffelec}等人,Theor。计算。科学。941202--220(2023;Zbl 07638360) 全文: 内政部
孙健;格雷戈里·古汀;李平;石、裴浩;张晓燕 广义旅行商路径问题的一种基于LP的近似算法。 (英语) Zbl 07638358号 西奥。计算。科学。 941, 180-190 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Sun}等人,Theor。计算。科学。941、180--190(2023年;Zbl 07638358) 全文: 内政部
马蒂亚斯·兰辛格 超越\(\beta\)的可追踪性-带否定和SAT的连接查询的无循环性。 (英语) Zbl 07636005号 西奥。计算。科学。 942276-296(2023年).MSC公司:65年第68季度 05C65号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \文本{M.Lanzinger},Theor。计算。科学。942276-296(2023年;兹bl 07636005) 全文: 内政部 arXiv公司
利亚·爱泼斯坦 基数约束装箱的几种分析方法。 (英语) Zbl 1531.90112号 西奥。计算。科学。 942, 213-229 (2023).MSC公司:90C27型 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \文本{L.Epstein},Theor。计算。科学。942、213--229(2023年;Zbl 1531.90112) 全文: 内政部 arXiv公司
路易斯·佩内特·德·蒙特诺;伯纳黛特·查伦·博斯特;斯蒂芬·默兹 动态网络中的同步模。 (英语) Zbl 07636001号 西奥。计算。科学。 942, 200-212 (2023).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.P.de Monterno}等人,Theor。计算。科学。94220--212(2023;Zbl 07636001) 全文: 内政部
西尔维亚·博诺米;安东尼拉·德尔·波佐;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 具有有界时间戳的最优自稳定移动拜占庭容错规则寄存器。 (英语) Zbl 1529.68053号 西奥。计算。科学。 942, 123-141 (2023).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.Bonomi}等人,Theor。计算。科学。942123-141(2023年;Zbl 1529.68053) 全文: 内政部 arXiv公司 链接
安基特·阿比纳夫;苏索布罕·班多帕德亚伊;阿里特拉·巴尼克;萨科特·索拉布 寻找高度连通解的参数化算法。 (英语) Zbl 07635993号 西奥。计算。科学。 942, 47-56 (2023).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Abhinav}等人,Theor。计算。科学。942,47-56(2023;Zbl 07635993) 全文: 内政部
扬尼克·卡斯特诺;乔纳斯·哈比格;丹尼尔·荣格;蒂尔·诺尔曼;梅耶·奥夫·德·海德(Meyer auf der Heide,Friedhem) 在线性时间内收集机器人的欧几里德闭合链,并改进链形成算法。 (英语) Zbl 1499.68351号 西奥。计算。科学。 939, 261-291 (2023).MSC公司:68T40型 64岁以下 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{J.Castenow}等人,Theor。计算。科学。939261-291(2023年;Zbl 1499.68351) 全文: 内政部
伯恩,马丁;贝特朗·西蒙 发现并验证在线箱子拉伸问题的下限。 (英语) Zbl 07605950号 西奥。计算。科学。 938,1-15(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Böhm}和\textit{B.Simon},Theor。计算。科学。938,1--15(2022;Zbl 07605950) 全文: 内政部 arXiv公司
罗伯特·谢夫勒 关于BFS和DFS生成的搜索树的识别。 (英语) 兹伯利07604604 西奥。计算。科学。 936, 116-128 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{R.Schefler},Theor。计算。科学。936116-128(2022;Zbl 07604604) 全文: 内政部
尼尔斯·莫拉维茨;尼尔斯·格里特迈耶;克里斯蒂安·科穆塞维茨;弗兰克·索默 彩色切割游戏。 (英语) Zbl 07604599号 西奥。计算。科学。 936, 13-32 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Morawietz}等人,Theor。计算。科学。936,13-32(2022;Zbl 07604599) 全文: 内政部
马可·卡洛蒂;塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 不一致知识库上的查询应答:一种概率方法。 (英语) Zbl 07601543号 西奥。计算。科学。 935, 144-173 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,Theor。计算。科学。935144--173(2022年;Zbl 07601543) 全文: 内政部
杨伯丁 树上一目了然的警察和强盗:最佳共赢策略。 (英语) Zbl 1517.05119号 西奥。计算。科学。 928, 27-47 (2022).MSC公司:05第57页 05二氧化碳 91A43型 91A24型 PDF格式BibTeX公司 XML格式引用 \提奥,textit{B.Yang}。计算。科学。928,27-47(2022;Zbl 1517.05119) 全文: 内政部
马蒂亚斯·本特;利昂·凯勒哈尔斯;罗尔夫·尼德迈尔 寻找平衡的结构复杂性景观公平的最短路径。 (英语) Zbl 07593359号 西奥。计算。科学。 933, 149-162 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Bentert}等人,Theor。计算。科学。933149-162(2022;Zbl 07593359) 全文: 内政部
乔·萨瓦达;亚伦·威廉姆斯;丹尼斯·王 二进制翻转语言反映了格雷码顺序。 (英语) Zbl 07593358号 西奥。计算。科学。 933, 138-148 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Sawada}等人,Theor。计算。科学。933、138--148(2022;Zbl 07593358) 全文: 内政部
阿金基亚·盖克瓦德;Maity,Soumen公司 自由边删除问题的进一步参数化算法。 (英语) Zbl 07593357号 西奥。计算。科学。 933, 125-137 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Gaikwad}和\textit{S.Maity},Theor。计算。科学。933125-137(2022年;兹bl 07593357) 全文: 内政部
鲍晓光;徐磊;于伟;宋伟 最小最大聚类旅行推销员问题的近似算法。 (英语) Zbl 07593352号 西奥。计算。科学。 933,60-66(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Bao}等人,Theor。计算。科学。933、60-66(2022;Zbl 07593352) 全文: 内政部
高湘玉;李建忠;苗族、东靖 大数据计算的次线性时间缩短。 (英语) Zbl 07585792号 西奥。计算。科学。 932, 1-12 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Gao}等人,Theor。计算。科学。932,1--12(2022;Zbl 07585792) 全文: 内政部 arXiv公司
洪伟志;冉英丽;张,赵 单位圆盘图中最小一般局部支配集和最大预算支配集的并行算法。 (英语) Zbl 07584637号 西奥。计算。科学。 932, 13-20 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Hong}等人,Theor。计算。科学。932,13--20(2022;Zbl 07584637) 全文: 内政部
刘翔;邹金玉;陈鹏鹏;万鹏俊 高斯下行链路用户选择取决于接入限制、功率预算和速率需求。 (英语) Zbl 07579637号 西奥。计算。科学。 931, 78-92 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}等人,Theor。计算。科学。931,78-92(2022;Zbl 07579637) 全文: 内政部
戴维·比洛 直径最优增广树的几乎最优算法。 (英语) Zbl 07579633号 西奥。计算。科学。 931, 31-48 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{D.Biló},Theor。计算。科学。931,31-48(2022;Zbl 07579633) 全文: 内政部 arXiv公司 链接
尼古拉斯·梅利西诺斯;阿里斯·帕古尔茨;特奥菲洛斯·特罗马蒂斯 子项比率问题的近似方案。 (英语) Zbl 07579632号 西奥。计算。科学。 931,17-30(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Melissinos}等人,Theor。计算。科学。931,17-30(2022;Zbl 07579632) 全文: 内政部
斑鱼、Evripidis;迪米特里斯·克里斯托;布鲁诺·埃斯科菲尔;金圣元(Kim Thang Nguyen) 针对最小-最大离散问题的在线学习。 (英语) Zbl 07575108号 西奥。计算。科学。 930, 209-217 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Bampis}等人,Theor。计算。科学。930209-217(2022年;兹bl 07575108) 全文: 内政部 arXiv公司
张文明;胡欢;程永熙;李红梅;王海珍 寻呼问题的功函数算法。 (英语) Zbl 07575100号 西奥。计算。科学。 930, 100-105 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang}等人,Theor。计算。科学。930、100--105(2022;Zbl 07575100) 全文: 内政部
亚哈龙·弗鲁希特曼;总量,约夫;Shmuel T.克莱恩。;达纳·夏皮拉 加权前视自适应编码。 (英语) 兹比尔07575099 西奥。计算。科学。 930, 86-99 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Fruchtman}等人,Theor。计算。科学。930,86-99(2022;Zbl 07575099) 全文: 内政部 arXiv公司
李松华;李敏明;段玲洁;Victor C.S.李。 无人机旅行中骑乘的高效算法。 (英语) Zbl 07575085号 西奥。计算。科学。 929, 140-156 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Theor。计算。科学。929,140-156(2022;Zbl 07575085) 全文: 内政部 arXiv公司
苏霍伊·博雷;萨蒂亚布拉塔·贾纳;潘迪特、苏彭塔;罗伊,萨桑卡 几何相交图的平衡连通子图问题。 (英语) Zbl 07575080号 西奥。计算。科学。 929, 69-80 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bhore}等人,Theor。计算。科学。929,69-80(2022;Zbl 07575080) 全文: 内政部 arXiv公司
张双军;Kan,海滨;王丽冠 预处理全息证明中秩-1约束可满足性的简洁非交互参数。 (英语) Zbl 07570320号 西奥。计算。科学。 927148-161(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}等人,Theor。计算。科学。927、148--161(2022;Zbl 07570320) 全文: 内政部