How to understand this recursive definition?How to solve this recursive equation?Solve this...

HP P840 HDD RAID 5 many strange drive failures

Synchronized implementation of a bank account in Java

How do hiring committees for research positions view getting "scooped"?

Deletion of copy-ctor & copy-assignment - public, private or protected?

Probably overheated black color SMD pads

How difficult is it to simply disable/disengage the MCAS on Boeing 737 Max 8 & 9 Aircraft?

gerund and noun applications

Hausdorff dimension of the boundary of fibres of Lipschitz maps

Do I need to be arrogant to get ahead?

Should I use acronyms in dialogues before telling the readers what it stands for in fiction?

Violin - Can double stops be played when the strings are not next to each other?

Have the tides ever turned twice on any open problem?

Is there a hypothetical scenario that would make Earth uninhabitable for humans, but not for (the majority of) other animals?

Suggestions on how to spend Shaabath (constructively) alone

What favor did Moody owe Dumbledore?

Writing in a Christian voice

In Aliens, how many people were on LV-426 before the Marines arrived​?

Existence of a celestial body big enough for early civilization to be thought of as a second moon

Can other pieces capture a threatening piece and prevent a checkmate?

Is it true that good novels will automatically sell themselves on Amazon (and so on) and there is no need for one to waste time promoting?

Why didn't Héctor fade away after this character died in the movie Coco?

Do I need to consider instance restrictions when showing a language is in P?

Do US professors/group leaders only get a salary, but no group budget?

Can you move over difficult terrain with only 5 feet of movement?



How to understand this recursive definition?


How to solve this recursive equation?Solve this recursionRecursive definition of sequences inverse/equivalency.Prove by induction of recursive sequenceRecursive Definition of a SeriesFactorial Series Written As Recursive DefinitionNot sure if minimization is needed for definition of function 'half', or if primitive recursive definition possibleRecursive sequence is sequence of integersHow to write a recursive definition in a mathematical notation?Recursive definition of Wallis product.













0












$begingroup$


My question is:



Now know through my Discrete-Mathematics course what recursion is, but this notation confuses me.



$$
mathbf a_n =
begin{cases}
n, & text{for $ 0le n le 2 $ } \
a_{n-3}+a_{n-2}+a_{n-1}, & text{for $ n ge 3 $}
end{cases}
$$



So this is an example of my problem.










share|cite|improve this question







New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$












  • $begingroup$
    What exactly is your problem? Can you say what $a_2$ is? What about $a_4?$
    $endgroup$
    – saulspatz
    Mar 11 at 20:10










  • $begingroup$
    Thanks, I understand it now....
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34










  • $begingroup$
    Glad to hear it. Now that I read the accepted answer, I see that your problem was just with the notation. I didn't realize that before.
    $endgroup$
    – saulspatz
    Mar 11 at 21:52
















0












$begingroup$


My question is:



Now know through my Discrete-Mathematics course what recursion is, but this notation confuses me.



$$
mathbf a_n =
begin{cases}
n, & text{for $ 0le n le 2 $ } \
a_{n-3}+a_{n-2}+a_{n-1}, & text{for $ n ge 3 $}
end{cases}
$$



So this is an example of my problem.










share|cite|improve this question







New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$












  • $begingroup$
    What exactly is your problem? Can you say what $a_2$ is? What about $a_4?$
    $endgroup$
    – saulspatz
    Mar 11 at 20:10










  • $begingroup$
    Thanks, I understand it now....
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34










  • $begingroup$
    Glad to hear it. Now that I read the accepted answer, I see that your problem was just with the notation. I didn't realize that before.
    $endgroup$
    – saulspatz
    Mar 11 at 21:52














0












0








0





$begingroup$


My question is:



Now know through my Discrete-Mathematics course what recursion is, but this notation confuses me.



$$
mathbf a_n =
begin{cases}
n, & text{for $ 0le n le 2 $ } \
a_{n-3}+a_{n-2}+a_{n-1}, & text{for $ n ge 3 $}
end{cases}
$$



So this is an example of my problem.










share|cite|improve this question







New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




My question is:



Now know through my Discrete-Mathematics course what recursion is, but this notation confuses me.



$$
mathbf a_n =
begin{cases}
n, & text{for $ 0le n le 2 $ } \
a_{n-3}+a_{n-2}+a_{n-1}, & text{for $ n ge 3 $}
end{cases}
$$



So this is an example of my problem.







discrete-mathematics recursion






share|cite|improve this question







New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question







New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question






New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Mar 11 at 20:06









bite_Over3idebite_Over3ide

31




31




New contributor




bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






bite_Over3ide is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • $begingroup$
    What exactly is your problem? Can you say what $a_2$ is? What about $a_4?$
    $endgroup$
    – saulspatz
    Mar 11 at 20:10










  • $begingroup$
    Thanks, I understand it now....
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34










  • $begingroup$
    Glad to hear it. Now that I read the accepted answer, I see that your problem was just with the notation. I didn't realize that before.
    $endgroup$
    – saulspatz
    Mar 11 at 21:52


















  • $begingroup$
    What exactly is your problem? Can you say what $a_2$ is? What about $a_4?$
    $endgroup$
    – saulspatz
    Mar 11 at 20:10










  • $begingroup$
    Thanks, I understand it now....
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34










  • $begingroup$
    Glad to hear it. Now that I read the accepted answer, I see that your problem was just with the notation. I didn't realize that before.
    $endgroup$
    – saulspatz
    Mar 11 at 21:52
















$begingroup$
What exactly is your problem? Can you say what $a_2$ is? What about $a_4?$
$endgroup$
– saulspatz
Mar 11 at 20:10




$begingroup$
What exactly is your problem? Can you say what $a_2$ is? What about $a_4?$
$endgroup$
– saulspatz
Mar 11 at 20:10












$begingroup$
Thanks, I understand it now....
$endgroup$
– bite_Over3ide
Mar 11 at 21:34




$begingroup$
Thanks, I understand it now....
$endgroup$
– bite_Over3ide
Mar 11 at 21:34












$begingroup$
Glad to hear it. Now that I read the accepted answer, I see that your problem was just with the notation. I didn't realize that before.
$endgroup$
– saulspatz
Mar 11 at 21:52




$begingroup$
Glad to hear it. Now that I read the accepted answer, I see that your problem was just with the notation. I didn't realize that before.
$endgroup$
– saulspatz
Mar 11 at 21:52










3 Answers
3






active

oldest

votes


















1












$begingroup$

When an author uses the left-brace and conditions sort of notation you present here, the way to interpret it is to look at the right-hand column first. In this case, the first line says $0leq nleq 2$ so whatever it is saying applies to only $n$ values in that range, namely (if $n$ is assumed to be an integer) to $n=0$, $n=1$ and $n=2$. So the first line tells you that
$$
a_0 = 0
\ a_1 = 1
\a_2 = 2
$$

but it tells you nothing about $a_3$ or $a_4$ or $a_n$ for any other values of the index $n$.



The second line, on the right, says "Now I'm going to tell you about $n_n$ when $n geq 3$," which fortunately comprises all the other values of $n$ not covered by the first line. So for example,
$$
a_3 = a_2 + a_1 + a_0 = 2+1+0 = 3 \
a_4 = a_3+a_2+a_1 = 3+2+1 = 6
$$

but that second line does not apply if you wanted to find $a_2 = a_1 + a_0 + a_{-1}$. (In fact, $a_{-1}$ is left undefined in this definition of the $a_k$.)






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks, now it make sense...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:33



















1












$begingroup$

That means that $a_0=0,a_1=1,a_2=2$ and then you use the definition $a_n =a_{n-3} +a_{n-2}+a_{n-1}$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you, I understand it now...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34



















0












$begingroup$

It means what it says. $a_0 = 0; a_1 = 1, a_2 = 2$.



And $a_3 = a_0 + a_1 + a_2$.



And $a_4 = a_1 + a_2 + a_3$.



And $a_5 = a_2 + a_3 + a_4$.



And $a_6 = a_3 + a_4 + a_5$ and so on.



In general: $a_n = a_{n-3} + a_{n-2} + a_{n-1}$.



Would it have made more sense if we had written



$a_{n+3} =a_{n} + a_{n+1} + a_{n+2}$?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Yes both make sense now, thank you...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:35











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});






bite_Over3ide is a new contributor. Be nice, and check out our Code of Conduct.










draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3144171%2fhow-to-understand-this-recursive-definition%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























3 Answers
3






active

oldest

votes








3 Answers
3






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

When an author uses the left-brace and conditions sort of notation you present here, the way to interpret it is to look at the right-hand column first. In this case, the first line says $0leq nleq 2$ so whatever it is saying applies to only $n$ values in that range, namely (if $n$ is assumed to be an integer) to $n=0$, $n=1$ and $n=2$. So the first line tells you that
$$
a_0 = 0
\ a_1 = 1
\a_2 = 2
$$

but it tells you nothing about $a_3$ or $a_4$ or $a_n$ for any other values of the index $n$.



The second line, on the right, says "Now I'm going to tell you about $n_n$ when $n geq 3$," which fortunately comprises all the other values of $n$ not covered by the first line. So for example,
$$
a_3 = a_2 + a_1 + a_0 = 2+1+0 = 3 \
a_4 = a_3+a_2+a_1 = 3+2+1 = 6
$$

but that second line does not apply if you wanted to find $a_2 = a_1 + a_0 + a_{-1}$. (In fact, $a_{-1}$ is left undefined in this definition of the $a_k$.)






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks, now it make sense...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:33
















1












$begingroup$

When an author uses the left-brace and conditions sort of notation you present here, the way to interpret it is to look at the right-hand column first. In this case, the first line says $0leq nleq 2$ so whatever it is saying applies to only $n$ values in that range, namely (if $n$ is assumed to be an integer) to $n=0$, $n=1$ and $n=2$. So the first line tells you that
$$
a_0 = 0
\ a_1 = 1
\a_2 = 2
$$

but it tells you nothing about $a_3$ or $a_4$ or $a_n$ for any other values of the index $n$.



The second line, on the right, says "Now I'm going to tell you about $n_n$ when $n geq 3$," which fortunately comprises all the other values of $n$ not covered by the first line. So for example,
$$
a_3 = a_2 + a_1 + a_0 = 2+1+0 = 3 \
a_4 = a_3+a_2+a_1 = 3+2+1 = 6
$$

but that second line does not apply if you wanted to find $a_2 = a_1 + a_0 + a_{-1}$. (In fact, $a_{-1}$ is left undefined in this definition of the $a_k$.)






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks, now it make sense...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:33














1












1








1





$begingroup$

When an author uses the left-brace and conditions sort of notation you present here, the way to interpret it is to look at the right-hand column first. In this case, the first line says $0leq nleq 2$ so whatever it is saying applies to only $n$ values in that range, namely (if $n$ is assumed to be an integer) to $n=0$, $n=1$ and $n=2$. So the first line tells you that
$$
a_0 = 0
\ a_1 = 1
\a_2 = 2
$$

but it tells you nothing about $a_3$ or $a_4$ or $a_n$ for any other values of the index $n$.



The second line, on the right, says "Now I'm going to tell you about $n_n$ when $n geq 3$," which fortunately comprises all the other values of $n$ not covered by the first line. So for example,
$$
a_3 = a_2 + a_1 + a_0 = 2+1+0 = 3 \
a_4 = a_3+a_2+a_1 = 3+2+1 = 6
$$

but that second line does not apply if you wanted to find $a_2 = a_1 + a_0 + a_{-1}$. (In fact, $a_{-1}$ is left undefined in this definition of the $a_k$.)






share|cite|improve this answer









$endgroup$



When an author uses the left-brace and conditions sort of notation you present here, the way to interpret it is to look at the right-hand column first. In this case, the first line says $0leq nleq 2$ so whatever it is saying applies to only $n$ values in that range, namely (if $n$ is assumed to be an integer) to $n=0$, $n=1$ and $n=2$. So the first line tells you that
$$
a_0 = 0
\ a_1 = 1
\a_2 = 2
$$

but it tells you nothing about $a_3$ or $a_4$ or $a_n$ for any other values of the index $n$.



The second line, on the right, says "Now I'm going to tell you about $n_n$ when $n geq 3$," which fortunately comprises all the other values of $n$ not covered by the first line. So for example,
$$
a_3 = a_2 + a_1 + a_0 = 2+1+0 = 3 \
a_4 = a_3+a_2+a_1 = 3+2+1 = 6
$$

but that second line does not apply if you wanted to find $a_2 = a_1 + a_0 + a_{-1}$. (In fact, $a_{-1}$ is left undefined in this definition of the $a_k$.)







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Mar 11 at 20:16









Mark FischlerMark Fischler

33.5k12452




33.5k12452












  • $begingroup$
    Thanks, now it make sense...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:33


















  • $begingroup$
    Thanks, now it make sense...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:33
















$begingroup$
Thanks, now it make sense...
$endgroup$
– bite_Over3ide
Mar 11 at 21:33




$begingroup$
Thanks, now it make sense...
$endgroup$
– bite_Over3ide
Mar 11 at 21:33











1












$begingroup$

That means that $a_0=0,a_1=1,a_2=2$ and then you use the definition $a_n =a_{n-3} +a_{n-2}+a_{n-1}$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you, I understand it now...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34
















1












$begingroup$

That means that $a_0=0,a_1=1,a_2=2$ and then you use the definition $a_n =a_{n-3} +a_{n-2}+a_{n-1}$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you, I understand it now...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34














1












1








1





$begingroup$

That means that $a_0=0,a_1=1,a_2=2$ and then you use the definition $a_n =a_{n-3} +a_{n-2}+a_{n-1}$






share|cite|improve this answer









$endgroup$



That means that $a_0=0,a_1=1,a_2=2$ and then you use the definition $a_n =a_{n-3} +a_{n-2}+a_{n-1}$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Mar 11 at 20:09









JoseSquareJoseSquare

867116




867116












  • $begingroup$
    Thank you, I understand it now...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34


















  • $begingroup$
    Thank you, I understand it now...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:34
















$begingroup$
Thank you, I understand it now...
$endgroup$
– bite_Over3ide
Mar 11 at 21:34




$begingroup$
Thank you, I understand it now...
$endgroup$
– bite_Over3ide
Mar 11 at 21:34











0












$begingroup$

It means what it says. $a_0 = 0; a_1 = 1, a_2 = 2$.



And $a_3 = a_0 + a_1 + a_2$.



And $a_4 = a_1 + a_2 + a_3$.



And $a_5 = a_2 + a_3 + a_4$.



And $a_6 = a_3 + a_4 + a_5$ and so on.



In general: $a_n = a_{n-3} + a_{n-2} + a_{n-1}$.



Would it have made more sense if we had written



$a_{n+3} =a_{n} + a_{n+1} + a_{n+2}$?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Yes both make sense now, thank you...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:35
















0












$begingroup$

It means what it says. $a_0 = 0; a_1 = 1, a_2 = 2$.



And $a_3 = a_0 + a_1 + a_2$.



And $a_4 = a_1 + a_2 + a_3$.



And $a_5 = a_2 + a_3 + a_4$.



And $a_6 = a_3 + a_4 + a_5$ and so on.



In general: $a_n = a_{n-3} + a_{n-2} + a_{n-1}$.



Would it have made more sense if we had written



$a_{n+3} =a_{n} + a_{n+1} + a_{n+2}$?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Yes both make sense now, thank you...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:35














0












0








0





$begingroup$

It means what it says. $a_0 = 0; a_1 = 1, a_2 = 2$.



And $a_3 = a_0 + a_1 + a_2$.



And $a_4 = a_1 + a_2 + a_3$.



And $a_5 = a_2 + a_3 + a_4$.



And $a_6 = a_3 + a_4 + a_5$ and so on.



In general: $a_n = a_{n-3} + a_{n-2} + a_{n-1}$.



Would it have made more sense if we had written



$a_{n+3} =a_{n} + a_{n+1} + a_{n+2}$?






share|cite|improve this answer









$endgroup$



It means what it says. $a_0 = 0; a_1 = 1, a_2 = 2$.



And $a_3 = a_0 + a_1 + a_2$.



And $a_4 = a_1 + a_2 + a_3$.



And $a_5 = a_2 + a_3 + a_4$.



And $a_6 = a_3 + a_4 + a_5$ and so on.



In general: $a_n = a_{n-3} + a_{n-2} + a_{n-1}$.



Would it have made more sense if we had written



$a_{n+3} =a_{n} + a_{n+1} + a_{n+2}$?







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Mar 11 at 20:10









fleabloodfleablood

72.7k22788




72.7k22788












  • $begingroup$
    Yes both make sense now, thank you...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:35


















  • $begingroup$
    Yes both make sense now, thank you...
    $endgroup$
    – bite_Over3ide
    Mar 11 at 21:35
















$begingroup$
Yes both make sense now, thank you...
$endgroup$
– bite_Over3ide
Mar 11 at 21:35




$begingroup$
Yes both make sense now, thank you...
$endgroup$
– bite_Over3ide
Mar 11 at 21:35










bite_Over3ide is a new contributor. Be nice, and check out our Code of Conduct.










draft saved

draft discarded


















bite_Over3ide is a new contributor. Be nice, and check out our Code of Conduct.













bite_Over3ide is a new contributor. Be nice, and check out our Code of Conduct.












bite_Over3ide is a new contributor. Be nice, and check out our Code of Conduct.
















Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3144171%2fhow-to-understand-this-recursive-definition%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

Fil:Tokke komm.svg

Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?