From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id C314D139694 for ; Fri, 2 Jun 2017 13:57:53 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 6816921C096; Fri, 2 Jun 2017 13:57:44 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 0987021C088 for ; Fri, 2 Jun 2017 13:57:43 +0000 (UTC) Received: from pomiot (d202-252.icpnet.pl [109.173.202.252]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: mgorny) by smtp.gentoo.org (Postfix) with ESMTPSA id 25244341743; Fri, 2 Jun 2017 13:57:41 +0000 (UTC) Message-ID: <1496411858.29233.8.camel@gentoo.org> Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) From: =?UTF-8?Q?Micha=C5=82_G=C3=B3rny?= To: gentoo-dev@lists.gentoo.org Date: Fri, 02 Jun 2017 15:57:38 +0200 In-Reply-To: <20170602141618.68a1e3e4@gentoo.org> References: <1496071993.31087.1.camel@gentoo.org> <20170529200037.2559f80a@gentoo.org> <1496093035.12795.3.camel@gentoo.org> <20170530094245.40e1cf64@gentoo.org> <20170530092245.681d4aeb@snowblower> <20170530104654.31b89e10@gentoo.org> <20170530095607.1adbc0b8@snowblower> <20170530112518.65b4f9e9@gentoo.org> <22829.24276.295.969060@a1i15.kph.uni-mainz.de> <1496154812.1238.5.camel@gentoo.org> <20170530173340.0b575526@gentoo.org> <1496167898.1335.1.camel@gentoo.org> <20170530204614.61e8e42c@gentoo.org> <1496213717.1164.1.camel@gentoo.org> <20170531093257.23b66f88@gentoo.org> <1496217792.1164.5.camel@gentoo.org> <20170531103819.417c2420@gentoo.org> <1496235892.25038.1.camel@gentoo.org> <20170531193922.477245bb@gentoo.org> <1496257344.25758.1.camel@gentoo.org> <20170601105523.08a9234e@gentoo.org> <1496352685.30502.4.camel@gentoo.org> <20170602141618.68a1e3e4@gentoo.org> Organization: Gentoo Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-tyHmN3K7YWuuirvkTr/P" X-Mailer: Evolution 3.22.6 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org Mime-Version: 1.0 X-Archives-Salt: c85ad46d-37b2-4fb5-81ed-9226a8cf488d X-Archives-Hash: 6bb392ab429ac5340d203098d78a693e --=-tyHmN3K7YWuuirvkTr/P Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On pi=C4=85, 2017-06-02 at 14:16 +0200, Alexis Ballier wrote: > On Thu, 01 Jun 2017 23:31:25 +0200 > Micha=C5=82 G=C3=B3rny wrote: > > My current code is on github [1]. It's ugly, slow and incomplete. It's > > merely a proof-of-concept and testing toy but still could give some > > clues. > >=20 > > [1]:https://github.com/mgorny/required-use >=20 >=20 > Nice work by the way. I've not looked much at the code but I've tried > it on a few examples and it worked well. Then I tried on the php > example and it didn't finish within 30 mins so I stopped it. >=20 > I think we should really try to find a sub-exponential solution to > this, I doubt there's anything that can be done if the only solution is > to enumerate all the possibilities. Well, as I said, you can split it into multiple independent groups (that's what I did). Then you solve each of them independently. However, that was done purely for research needs and I'm not sure how useful it's going to be in practice. I can imagine something like: || ( foo_* ) for 30-40 flag USE_EXPAND being a problem -- while a trivial constraint to verify. So the 2^n solution I'd rather consider a nice way to test the algorithm rather than something potentially useful for verification. --=20 Best regards, Micha=C5=82 G=C3=B3rny --=-tyHmN3K7YWuuirvkTr/P Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQKmBAABCgCQFiEEbbsHzE8NrQbqCv5BsHoa6u+0Rk4FAlkxbtJfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDZE QkIwN0NDNEYwREFEMDZFQTBBRkU0MUIwN0ExQUVBRUZCNDQ2NEUSHG1nb3JueUBn ZW50b28ub3JnAAoJELB6GurvtEZOVaoP/iYlQI9IY9M75xY1nlmtssKlR7IOMnba h8pOSm28S/kx+WbBRysq7DolctpWVLeCyRDiSHX4SEFLv2szhcmQbxtVAfTNFZuB mGq0XCY0L85X2gi7UsjzxAHbaSxp7l2r874v//SQMo92no9P49Voe0yCksrWm5Sw htrp1Lly427sAODcIEs4W5KwySI5cFPc0vXKLVbjzEyeJgUOM1LA/3fVaEHBMy8d pOb1OoQSn2UTx2D87qCSGzsQYpfGWLyEjJKQGZOOiTz/aLOP+1Zx28GHdwlJivb7 nsv7qanT4XldOh5f1CoziWCQWFCHGkBJa3qFiF15TcmrBGDJ/f1I7U6rpUGkk3MB LC5IXm4N/ZY1QfeUlRiZAGFRr6FHCgG14pWZUIP6BrAPRtifkUpJq8aqMaeWx/f2 Mctai0+ebFH39a0JmcoZEpRvHXQ6PFoJ1VBoesfy5OEoZJmP7KYjJYFu0QqDzF9c rTb2K4H0N2S/1/5vETlPW3ErSI0V4R+6KZOYz43V7AFdGrGssBCOKZBGQiMvV64x Rr8uF750hgYoVoXurSpxUm8x+XbAr4vwF12jO8jIhnzBq7BqCy6zIS7I+7jFzSrw dYG8Znd4unjTcZVk8lHoIOV8hvrnTQZ6o31eskzgWUcvxbGVTfeXgNIN16j5wgWm TIFLQI0t7EIE =E/Uq -----END PGP SIGNATURE----- --=-tyHmN3K7YWuuirvkTr/P--