Hi ronk
I am hesitating on how to go ahead with our discussion.
Let’s start with a kind of preliminary statements.
1) It seems that full tagging offers a solving potential that worth considering it: efficiency, full coverage of known puzzles..
If it had not been the case, I would have stopped for long writing posts on that forum.
Full tagging has its own coherency and is working on tags, not on candidates. (tags are containers of “equivalent” candidates);
This means that for about 2.5 years, we (users of that method) are producing AICs with jumps and often “chopping off one end”.
We are also using AIC’s with weak inferences at each end . This is quite normal. You have to keep in mind that no tag is defined (before entering level 4) without having a strong inference. So when you can write
F - p = P - M = m - C = c - E = e - F ,
You know that you have also
f = F - p = P - M = m - C = c - E = e - F = f,
On the other way, it is exactly the same to say ‘F’ is dead or ‘f’ is qualified. I was not waiting for a difficulty here.
The second form is normally preferred in that situation
f
= F - p = P - M = m - C = c - E = e which gives a clearing potential thru the condition (
f or e).
2) As long as we stay with relatively simple puzzles, differences between full tagging and other methods are relatively small. I thought I could use directly the results of my solver to communicate quickly. Your reactions show that I was wrong.
3) I thought you had a sufficient knowledge of the method to use some key words. Again I was wrong, so forget all Greek and Chinese parts of the post..
I think I have still to answer a small point
ronk wrote:Are your ACs still AHSs, as I recall from prior posts
Unless I misunderstood what I red, yes. I kept my name AC to stay coherent with AC2, the entity used at level 4 (Chinese again sorry)
To close that post on a positive view, I developed a solution for Golden Nugget and other “Hardest” puzzles. I find these solution boring and having very little chances to be used by players.
Reversely, I worked on Metcalf and strcmk puzzles at the top of JPF list. These have a good chance to be studied one day by players not using a computer;
I hope I’ll have finished to publish Metcalf solution within few days. Strcmk is very similar;
