Pub Date : 2023-07-20DOI: 10.1017/s0963548323000226
Joel Larsson Danielsson, Klas Markström
In this paper we study a variation of the random $k$-SAT problem, called polarised random $k$-SAT, which contains both the classical random $k$-SAT model and the random version of monotone $k$-SAT another well-known NP-complete version of SAT. In this model there is a polarisation parameter $p$, and in half of the clauses each variable occurs negated with probability $p$ and pure otherwise, while in the other half the probabilities are interchanged. For $p=1/2$ we get the classical random $k$-SAT model, and at the other extreme we have the fully polarised model where
{"title":"Polarised random -SAT","authors":"Joel Larsson Danielsson, Klas Markström","doi":"10.1017/s0963548323000226","DOIUrl":"https://doi.org/10.1017/s0963548323000226","url":null,"abstract":"<p>In this paper we study a variation of the random <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$k$</span></span></img></span></span>-SAT problem, called polarised random <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$k$</span></span></img></span></span>-SAT, which contains both the classical random <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$k$</span></span></img></span></span>-SAT model and the random version of monotone <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$k$</span></span></img></span></span>-SAT another well-known NP-complete version of SAT. In this model there is a polarisation parameter <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>, and in half of the clauses each variable occurs negated with probability <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span> and pure otherwise, while in the other half the probabilities are interchanged. For <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$p=1/2$</span></span></img></span></span> we get the classical random <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$k$</span></span></img></span></span>-SAT model, and at the other extreme we have the fully polarised model where <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000226:S0963548323000226","PeriodicalId":10503,"journal":{"name":"Combinatorics, Probability and Computing","volume":"38 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138529060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-05DOI: 10.1017/s0963548323000196
Simón Piga, Marcelo Sales, Bjarne Schülke
Given $alpha gt 0$ and an integer $ell geq 5$, we prove that every sufficiently large $3$-uniform hypergraph $H$ on $n$ vertices in which every two vertices are contained in at least $alpha n$ edges contains a copy of $C_ell ^{-}$, a tight cycle on $ell$ vertices minus one edge. This improves a previous result by Balogh, Clemen, and Lidický.
{"title":"The codegree Turán density of tight cycles minus one edge","authors":"Simón Piga, Marcelo Sales, Bjarne Schülke","doi":"10.1017/s0963548323000196","DOIUrl":"https://doi.org/10.1017/s0963548323000196","url":null,"abstract":"<p>Given <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$alpha gt 0$</span></span></img></span></span> and an integer <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$ell geq 5$</span></span></img></span></span>, we prove that every sufficiently large <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$3$</span></span></img></span></span>-uniform hypergraph <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$H$</span></span></img></span></span> on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$n$</span></span></img></span></span> vertices in which every two vertices are contained in at least <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$alpha n$</span></span></img></span></span> edges contains a copy of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$C_ell ^{-}$</span></span></img></span></span>, a tight cycle on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231006153727984-0672:S0963548323000196:S0963548323000196_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$ell$</span></span></img></span></span> vertices minus one edge. This improves a previous result by Balogh, Clemen, and Lidický.</p>","PeriodicalId":10503,"journal":{"name":"Combinatorics, Probability and Computing","volume":"4 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138529107","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}