The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

Beyond The Four Fours (Spreadsheet vs. Database)

I have taken a slight liberty with the Projects page at the TTM web siteI've added "Beyond The Four Fours", an application of Rel giving the results of an investigation by myself and my friend Gerard Joseph that I mentioned a year or so ago in this forum.  The four fours problem entails expressing every natural number from 1 to 100 using only an agreed set of operators and symbols.  We tried to repeat the exercise for every combination of four digits.  You'll need to have Rel installed if you would like to see how I used Tutorial D to record our results, with lots of database constraints to minimize the risk of mistakes, and lots of views to give various statistical analyses.  Suggestions for improvements to my code or further analyses would of course be welcome.  Gerard's Excel spreadsheet also summarizes the results and gives some of those statistics (the ones of which he feels Excel is capable, of course).  Details of the project are given in Beyond The Four Fours.pdf in the zip folder provided for download.

Gerard is based in Australia and we continue to exchange emails daily as we are currently continuing the investigation to see how much further we can get, beyond 100, for each exercise that we managed to completely solve (407 out of the 495 combinations).  The time difference between our two countries is convenient, meaning that each partner sends and receives just one set of emails per day such that over-hasty responses and email ping-pongs are kept to a minimum.

Hugh

 

Coauthor of The Third Manifesto and related books.

Thank you Hugh.

BTW on the TTM Projects Page there seems to be a typo in the url for the .pdf. The .zip is fine, and the .pdf is inside it.

I had some questions, which I tried to answer for myself by looking through the `LatestBackup.Rel`. But that raised rather more questions ...

There seemed to be no relation with the formulas/solutions(?) Then the database is rather like 'Actors in Search of a Play'.

I would expect Recalcitrant to be a view = Studied NOT MATCHING Solutions. Also UncleanOnly and NonPowerClean to be views over Solutions. But there's no Solutions and those other relvars are REAL. Yet the categories Recalcitrant/UncleanOnly/NonPowerClean/PowerClean are mutually exclusive; if you're not recording solutions, wouldn't that just be a status attribute against Studied? Presumably with those dedicated REAL RELATIONs you had to key in the <i,j,k,l,n> tuples to each, and manually delete the corresponding tuple from its previous status(?) OK there's constraints declared to make sure the mutually exclusivity holds, but that seems rather a band-aid.

I also saw REAL RELATIONs for OddsEvens, MultipleOf10, RecsWith1 and various other 'static'/constant characteristics of numbers or of tuples. Is Rel not very good at arithmetic?

Contrast that I built a Sudoku solver in SQL (well, MsAccess). I have a standard base table in my kit-bag which has a single column with the INTs up to some large value. Everything else I generated as views and Cartesian Products over that. Then it was easy to scale up the solver from 4 × 4 grids to 9 × 9 and beyond.

 

Thanks, Antc.  Typo fixed (why didn't I test that link?)

Gerard and I didn't need to record our solutions while the project was in process and neither of us was up to collecting them together retrospectively when we decided to publish.  After all there are 49500 - 430 such solutions, spread over two-and-a-bit years-worth of emails, and we didn't write them all down.  Some exercises were so easy that one of us would just send any numbers that had proved to be to difficult for him (or claim a clean sweep) and the other would confirm and perhaps fill in some gaps.

We are writing them all down for the current extension but usually in short form such as

[206:226] = f(1,3,4,5) = 216 ± x (= 63 [PC] when x = 0)

227 = f(1,3,4,5) = 243 – 16

Those expressions rely on both of us remembering various two-digit solutions we (that is to say, Gerard) have collected: here, how to get 216 from 1 and 3 or 1 and 4, 243 from 1 and 3 (the square root of the one-tenth root of 3 = 3^5).  [PC] is for "power-clean".

I don't like status attributes if they can be easily avoided when the cardinality of the possible values is low.  I much prefer JOIN over WHERE.

Typing in the recalcitrants and other failures was easy using Rel's edit feature.

Yes, the real relvars RecsWith1, RecsWith2, etc., should really be views and I can't remember why I chose to make them by assigning a query result instead.

Rel is pretty good at arithmetic but I couldn't find its MOD operator (if it exists) and in any case again I prefer JOIN over EXTEND + WHERE where feasible and typing in the tuple values for Odds, Even, and MultipleOf10 was easy using copy-and-paste.

Congratulations on your Sudoku solver in SQL!

Hugh

 

Coauthor of The Third Manifesto and related books.
Quote from Hugh on May 16, 2019, 11:05 am

Rel is pretty good at arithmetic but I couldn't find its MOD operator (if it exists)

It does:

6 % 3
0

6 % 2
0

6 % 4
2

25 % 7
4

I'm the forum administrator and lead developer of Rel. Email me at dave@armchair.mb.ca with the Subject 'TTM Forum'. Download Rel from https://reldb.org